Automata on infinite biposets

Németh Zoltán L.: Automata on infinite biposets. In: Acta cybernetica, (17) 4. pp. 765-797. (2006)

Előnézet

Cikk, tanulmány, mű Nemeth_2006_ActaCybernetica.pdf Letöltés (327kB) | Előnézet

Absztrakt (kivonat)

Bisemigroups are algebras equipped with two independent associative operations. Labeled finite sp-biposets may serve as a possible representation of the elements of the free bisemigroups. For finite sp-biposets, an accepting device, called parenthesizing automaton, was introduced in [6], and it was proved that its expressive power is equivalent to both algebraic recognizability and monadic second order definability. In this paper, we show, how this concept of parenthesizing automaton can be generalized for infinite biposets in a way that the equivalence of regularity (defined by acceptance with automata), recognizability (defined by homomorphisms and finite ω-bisemigroups) and MSO-definability remains true.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	2006
Kötet:	17
Szám:	4
ISSN:	0324-721X
Oldalak:	pp. 765-797
Nyelv:	angol
Kiadás helye:	Szeged
Konferencia neve:	International Conference on Automata and Formal Languages (11.) (2005) (Dobogókő)
Befoglaló mű URL:	http://acta.bibl.u-szeged.hu/38522/
Kulcsszavak:	Számítástechnika, Kibernetika, Automaták
Megjegyzések:	Bibliogr.: p. 796-797. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma:	2016. okt. 15. 12:25
Utolsó módosítás:	2022. jún. 16. 09:56
URI:	http://acta.bibl.u-szeged.hu/id/eprint/12795

Bővebben:

Tétel nézet