On DOL systems with finite axiom sets

QR kód

On DOL systems with finite axiom sets

We give a new solution for the language equivalence problem of D0L systems with finite axiom sets by using the decidability of the equivalence problem of finite valued transducers on HDT0L languages proved by Culik II and Karhumäki.

Elmentve itt :

Bibliográfiai részletek
Szerző:	Honkala Juha
Testületi szerző:	Conference for PhD Students in Computer Science (3.) (2002) (Szeged)
Dokumentumtípus:	Cikk
Megjelent:	2003
Sorozat:	Acta cybernetica 16 No. 1
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12706

Hasonló tételek

Recognizable sets of finite bilabelled transition systems
Szerző: Arnold André
Megjelent: (1990)

On unambiguous number systems with prime power base
Szerző: Honkala Juha
Megjelent: (1992)

Generalized DOL trees
Szerző: Kari Lila, et al.
Megjelent: (1995)

Results concerning E0L and C0L power series
Szerző: Honkala Juha
Megjelent: (2000)

Zur Synthese von DOL-Systemen
Szerző: Kämmerer Wilhelm
Megjelent: (1978)

Watson-Crick walks and roads on DOL graphs
Szerző: Salomaa Arto
Megjelent: (1999)

Maximal families of restricted subsets of a finite set
Szerző: Gronau Hans-Dietrich O. F., et al.
Megjelent: (1982)

On the supplement of sets in functional systems
Szerző: Kudrâvcev Valerij B.
Megjelent: (1987)

On the consisting of mathematical axiom systems
Szerző: Kalmár László

On minimal incomplete R-systems of finite automata
Szerző: Dömösi Pál
Megjelent: (1976)

Growth functions and length sets of replicating systems
Szerző: Mihalache Valeria, et al.
Megjelent: (1996)

Sets of integers in different number systems and the Chomsky hierarchy
Szerző: Katsányi István
Megjelent: (2001)

Sets of numbers in different number systems and the Chomsky hierarchy [abstract] /
Szerző: Katsányi István
Megjelent: (2000)

Asymptotic analysis of some controlled finite-source queueing systems
Szerző: Anisimov V. V., et al.
Megjelent: (1989)

On the finiteness of picture languages of synchronous deterministic chain code picture systems
Szerző: Truthe Bianca
Megjelent: (2005)

On finite definite automata
Szerző: Imreh Balázs
Megjelent: (1985)

Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata
Szerző: Droste Manfred, et al.
Megjelent: (2023)

Congruences on finite automata [abstract] /
Szerző: Popović Zarko
Megjelent: (2000)

The structure of the Univoque set [abstract] /
Szerző: Kallós Gábor
Megjelent: (1998)

On certain partitions of finite directed graphs and of finite automata
Szerző: Ádám András
Megjelent: (1984)

Axioms of the modern man
Megjelent: (1947)

On complexity of finite Moore automata
Szerző: Katsura Masashi
Megjelent: (1986)

Finitely presentable tree series
Szerző: Bozapalidis Symeon, et al.
Megjelent: (2006)

Self-regulating finite automata
Szerző: Meduna Alexander, et al.
Megjelent: (2007)

Automata with finite congruence lattices
Szerző: Babcsányi István
Megjelent: (2007)

Preparing surgical operation plans for finite element analysis using the MedEdit system [abstract] /
Szerző: Erdőhelyi Balázs, et al.
Megjelent: (2004)

Hausdorff dimension of univoque sets
Szerző: Kallós Gábor
Megjelent: (1999)

A theory of finite functions, part I. on finite trees associated to certain finite functions /
Szerző: Ecsedi-Tóth Péter
Megjelent: (1983)

Principal varieties of finite congruences [abstract] /
Szerző: Piirainen Ville
Megjelent: (2008)

On finite nilpotent automata
Szerző: Imreh Balázs
Megjelent: (1981)

On the Heapability of Finite Partial Orders
Szerző: Balogh János, et al.
Megjelent: (2020)

On the semigroup of automaton mappings with finite alphabet
Szerző: Dömösi Pál
Megjelent: (1972)

Representation of automaton mappings in finite length
Szerző: Gécseg Ferenc
Megjelent: (1976)

On the congruences of finite autonomous Moore automata
Szerző: Ádám András
Megjelent: (1986)

A finite axiomatization of flowchart schemes
Szerző: Bartha Miklós
Megjelent: (1987)

Certain operations with the sets of discrete states
Szerző: Gavrilov M. A.
Megjelent: (1978)

Equality sets for homomorphisms of free monoids
Szerző: Salomaa Arto
Megjelent: (1978)

Note on the cardinality of some sets of clones
Szerző: Pantović Jovanka, et al.
Megjelent: (2000)

Topologies for the set of disjunctive ω-words
Szerző: Staiger Ludwig
Megjelent: (2005)

Holonomy decomposition of finite state automata [abstract] /
Szerző: Egri-Nagy Attila, et al.
Megjelent: (2004)