Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable

QR kód

Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Droste Manfred Fülöp Zoltán Kószó Dávid Vogler Heiko
Dokumentumtípus:	Könyv része
Megjelent:	Springer International Publishing Cham 2020
Sorozat:	Lecture Notes in Computer Science Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020
Tárgyszavak:	Számítás- és információtudomány
doi:	10.1007/978-3-030-62536-8_4
mtmt:	31669354
Online Access:	http://publicatio.bibl.u-szeged.hu/36191

Hasonló tételek

Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids
Szerző: Droste Manfred, et al.
Megjelent: (2022)

Crisp-determinization of weighted tree automata over strong bimonoids
Szerző: Fülöp Zoltán, et al.
Megjelent: (2021)

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

Weighted Tree Generating Regular Systems and Crisp-Determinization of Weighted Tree Automata
Szerző: Kószó Dávid
Megjelent: (2023)

Weighted Tree Generating Regular Systems over Strong Bimonoids with Reduction Semantics
Szerző: Kószó Dávid
Megjelent: (2022)

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

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

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

On finite isomorphically complete systems of tree automata
Szerző: Gécseg Ferenc, et al.
Megjelent: (1993)

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

Remarks on finite commutative automata
Szerző: Ésik Zoltán, et al.
Megjelent: (1981)

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

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

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

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

A Kleene theorem for weighted ω-pushdown automata
Szerző: Droste Manfred, et al.
Megjelent: (2017)

On continuity preserving weighted finite transducers [abstract] /
Szerző: Steinby Paula
Megjelent: (2004)

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

Weighted tree-walking automata
Szerző: Fülöp Zoltán, et al.
Megjelent: (2009)

Weighted languages recognizable by weighted tree automata
Szerző: Fülöp Zoltán, et al.
Megjelent: (2018)

Ambiguity, nondeterminism and state complexity of finite automata
Szerző: Han Yo-Sub, et al.
Megjelent: (2017)

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

A criterion for the simplicity of finite Moore automata
Szerző: Ádám András
Megjelent: (1992)

Languages recognized by a class of finite automata
Szerző: Kelarev Andrej V., et al.
Megjelent: (2001)

Retractable state-finite automata without outputs
Szerző: Nagy Attila
Megjelent: (2004)

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

Compact representation of Hungarian vocabulary with nondeterministic finite automata
Szerző: Kertész-Farkas Attila, et al.
Megjelent: (2003)

On Finite Generability of Clones of Finite Posets
Szerző: Kunos Ádám, et al.
Megjelent: (2019)

On the complexity of codes and pre-codes assigned to finite Moore automata
Szerző: Ádám András
Megjelent: (1981)

A new method for the analysis and synthesis of finite Mealy-automata
Szerző: Puskás Csaba
Megjelent: (1984)

Complete finite automata network graphs with minimal number of edges
Szerző: Dömösi Pál, et al.
Megjelent: (1999)

Temporal logic with cyclic counting and the degree of aperiodicity of finite automata
Szerző: Ésik Zoltán, et al.
Megjelent: (2003)

A characterization of semimodularity in lattices of finite length
Szerző: Stern Manfred
Megjelent: (1987)

Decidability in algebra
Szerző: Maróti Miklós
Megjelent: (2006)

Two finiteness conditions for finitely generated and periodic semigroups
Szerző: Pirillo Giuseppe
Megjelent: (1989)

On a problem of Ádám concerning precodes assigned to finite Moore automata
Szerző: Katsura Masashi, et al.
Megjelent: (1987)

Decidability results concerning tree transducers I
Szerző: Ésik Zoltán
Megjelent: (1980)

Preface
Szerző: Droste Manfred, et al.
Megjelent: (2009)

Preface
Szerző: Droste Manfred, et al.
Megjelent: (2011)

On the finite basis problem for finite Rees quotients of free monoids
Szerző: Jackson Marcel
Megjelent: (2001)