scientific article; zbMATH DE number 3866588

MaRDI QIDQ3334086zbMATH OpenFDO

Authors Satoru Miyano, Takeshi Hayashi

Publication date 1984

zbMATH Keywords

alternating finite automataalternationinfinite sequences of symbolsnondeterminismnondeterministic finite automataomega-language

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited in

(8)

• Alternating finite automata and star-free languages
• Automata on infinite trees
• An alternating hierarchy for finite automata
• VLDL satisfiability and model checking via tree automata
• Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
• HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
• Complementation of Emerson-Lei automata
• Alternating finite automata on -words

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3334086)