Topological Characterisation of Multi-Buffer Simulation

DOI10.3233/FI-2021-1999zbMath1478.68129MaRDI QIDQ4989168

Milka Hutagalung

Publication date: 21 May 2021

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Simulation relations for alternating Büchi automata
• Semi-commutations
• Combinatorics on traces
• Fair simulation
• Advanced automata minimization
• Degrees of Lookahead in Regular Infinite Games
• Revealing vs. Concealing: More Simulation Games for Büchi Inclusion
• THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ω-LANGUAGE
• Computing Simulations over Tree Automata