Regular expressions for infinite trees and a standard form of automata
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 157-168
- https://doi.org/10.1007/3-540-16066-3_15
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- On ω-regular setsInformation and Control, 1979
- Generalized finite automata theory with an application to a decision problem of second-order logicTheory of Computing Systems, 1968