Prolog infinite trees and automata (Q3991295)

From MaRDI portal





scientific article; zbMATH DE number 36726
Language Label Description Also known as
English
Prolog infinite trees and automata
scientific article; zbMATH DE number 36726

    Statements

    Prolog infinite trees and automata (English)
    0 references
    28 June 1992
    0 references
    regular expression
    0 references
    minimal deterministic finite state automaton
    0 references
    language defined by a rational expression
    0 references
    infinite trees
    0 references
    Prolog
    0 references

    Identifiers