Decidability questions for term rewriting systems and tree transducers

QR kód

Decidability questions for term rewriting systems and tree transducers

Elmentve itt :

Bibliográfiai részletek
Szerző:	Gyenizse Pál
További közreműködők:	Fülöp Zoltán (Témavezető)
Dokumentumtípus:	Disszertáció
Megjelent:	1999
Kulcsszavak:	Informatika
Tárgyszavak:	matematika- és számítástudományok Természettudományok Számítás- és információtudomány
Online Access:	http://doktori.ek.szte.hu/4388

Hasonló tételek

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

Shape preserving tree transducers
Szerző: Gazdag Zsolt
Megjelent: (2006)

On attributed tree transducers
Szerző: Fülöp Zoltán
Megjelent: (1981)

Superlinear deterministic top-down tree transducers
Szerző: Dányi Gábor
Megjelent: (1998)

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

Max/plus tree automata for termination of term rewriting
Szerző: Koprowski Adam, et al.
Megjelent: (2009)

Pebble macro tree transducers with strong pebble handling
Szerző: Muzamel Loránd
Megjelent: (2011)

The invertibility of tree transducers
Szerző: Neumüller Imre
Megjelent: (1987)

Tree transducers and formal tree series
Szerző: Kuich Werner
Megjelent: (1999)

On one-pass term rewriting
Szerző: Fülöp Zoltán, et al.
Megjelent: (1999)

On one-pass term rewriting and Tree recognizers with comparisons between brothers [abstract] /
Szerző: Rönkä Matti
Megjelent: (2002)

Tree transducers in machine translation
Szerző: Maletti Andreas
Megjelent: (2011)

On the equivalence of the frontier-to-root tree transducers I.
Szerző: Zachar Z.
Megjelent: (1985)

On the equivalence of the frontier-to-root tree transducers II.
Szerző: Zachar Z.
Megjelent: (1985)

A pumping lemma and decidability problems for recognizable tree series
Szerző: Borchardt Björn
Megjelent: (2004)

Shape preserving bottom-up tree transducers [abstract] /
Szerző: Gazdag Zsolt
Megjelent: (2004)

On the role of blocking in rewriting systems
Szerző: Kleijn H. C. M., et al.
Megjelent: (1982)

The solvability of the equivalence problem for deterministic frontier-to-root tree transducers
Szerző: Zachar Z.
Megjelent: (1979)

Decomposition results concerning K-visit attributed tree transducers
Szerző: Fülöp Zoltán
Megjelent: (1983)

A pumping lemma for output languages of attributed tree transducers
Szerző: Kühnemann Armin, et al.
Megjelent: (1994)

Logic and tree automata
Szerző: Iván Szabolcs
Megjelent: (2008)

Trees and graph packing
Szerző: Vásárhelyi Bálint Márk
Megjelent: (2018)

On some enumeration questions concerning trees and tree-type networks to the memory of Dr Catherine Rényi and professor Alfréd Rényi /
Szerző: Ádám András, et al.
Megjelent: (1972)

Special families of matrix languages and decidable problems
Szerző: Mateescu Alexandru
Megjelent: (1991)

Weighted automata define a hierarchy of terminating string rewriting systems
Szerző: Gebhardt Andreas, et al.
Megjelent: (2009)

Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable
Szerző: Droste Manfred, et al.
Megjelent: (2020)

Pure languages of regulated rewriting and their codings
Szerző: Dassow Jürgen
Megjelent: (1988)

On ground word problem of term equation systems
Szerző: Vágvölgyi Sándor
Megjelent: (2015)

A note on decidability of reachability for conditional Petri nets
Szerző: Țiplea Ferucio Laurenţiu, et al.
Megjelent: (2000)

Evolutionary Tree Reconstruction and its Applications in Protein Classification
Szerző: Busa-Fekete Róbert
Megjelent: (2008)

The ‘gas of circles’ model and its application to tree crown extraction
Szerző: Horváth Péter
Megjelent: (2007)

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

Integrating Blockchain and Fog Computing Technologies for Efficient Privacy-preserving Systems
Szerző: Baniata Hamza
Megjelent: (2023)

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)

Deterministic ascending tree automata II
Szerző: Virágh János
Megjelent: (1983)

Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems
Szerző: Vágvölgyi Sándor
Megjelent: (2018)

Quasiorder lattices of universal algebras
Szerző: Gyenizse Gergő
Megjelent: (2018)

On fully initial grammars with regulated rewriting
Szerző: Bălănescu Tudor, et al.
Megjelent: (1989)

Minimization of deterministic top-down tree automata
Szerző: Fülöp Zoltán, et al.
Megjelent: (2017)