Some decisional problems on rational relations

DOI10.1016/S0304-3975(96)00098-9zbMath0896.68085MaRDI QIDQ1390853

Stefano Varricchio, Marina Madonia

Publication date: 22 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

decidabilitystar-freerational relationrecursive solvability

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Word problems, etc. in computability and recursion theory (03D40)

Related Items

Stefano Varricchio (1960-2008)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The equivalence problem of multitape finite automata
• Rational equivalence relations
• Star-free trace languages
• Learning two-tape automata from queries and counterexamples
• On finite monoids having only trivial subgroups
• On Relations Defined by Generalized Finite Automata