Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (Q5060068)

From MaRDI portal
scientific article; zbMATH DE number 7643302
Language Label Description Also known as
English
Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines
scientific article; zbMATH DE number 7643302

    Statements

    Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (English)
    0 references
    17 January 2023
    0 references
    transducer
    0 references
    two-tape automaton
    0 references
    biautomaton
    0 references
    simple grammar
    0 references
    equivalence checking
    0 references
    prefix-free language
    0 references
    language equation
    0 references
    decision procedure
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers