Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: symmetric difference

Sortuj według:

Ogranicz wyniki do:

Language Equations with Symmetric Difference

100%

Okhotin A.

tom Vol. 116, nr 1-4

205-222

The paper investigates the expressive power of language equations with the operations of concatenation and symmetric difference. For equations over every finite alphabet Σ with |Σ| ≥1, it is demonstrated that the sets representable by unique solutions of such equations are exactly the recursive sets over , and the sets representable by their least (greatest) solutions are exactly the recursively enumerable sets (their complements, respectively). If |Σ| ≥ 2, the same characterization holds already for equations using symmetric difference and linear concatenation with regular constants. In both cases, the solution existence problem is Π (0,1)-complete, the existence of a unique, a least or a greatest solution is Π(0,2)-complete, while the existence of finitely many solutions is Σ(0,3)-complete.

An operational calculus model with the (m,n) - symmetric difference

51%

Wysocki H.

tom R. 61 nr 4 (223)

67--82

The paper determines a non-classical Bittner operational calculus model, in which the derivative is understood as an -symmetric difference . By considering an operation , the formulated model has been generalized.

W pracy określono model dyskretny nieklasycznego rachunku operatorów Bittnera, w którym pochodna rozumiana jest jako różnica -symetryczna . Dokonano uogólnienia opracowanego modelu rozważając operację .