THE EFFECT OF THE NUMBER OF SUCCESSFUL PATHS IN A BÜCHI TREE AUTOMATON

DOI10.1142/S0218196793000172zbMath0784.03022OpenAlexW2024091458MaRDI QIDQ3141779

Danièle Beauquier, Maurice Nivat, Damian Niwinski

Publication date: 1 November 1993

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0218196793000172

zbMATH Keywords

Büchi automataautomata on infinite treesRabin recognizable sets of trees

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

This page was built for publication: THE EFFECT OF THE NUMBER OF SUCCESSFUL PATHS IN A BÜCHI TREE AUTOMATON