Lattice-valued tree pushdown automata: Pumping lemma and closure properties.

Maryam Ghorani Sunita Garhwal Somaye Moghari

Published in: Int. J. Approx. Reason. (2022)

Keyphrases

optimal solution
tree automata
closure properties
finite state
finite automata
regular expressions
lower bound
model checking
context free grammars
expressive power
xml documents
special case
markov chain
markov decision processes
context free