Prolog infinite trees and automata
minimal deterministic finite state automaton
language defined by a rational expression
scientific article; zbMATH DE number 36726
scientific article