Characterizations of complete residuated lattice-valued finite tree automata (Q1759726)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Characterizations of complete residuated lattice-valued finite tree automata |
scientific article |
Statements
Characterizations of complete residuated lattice-valued finite tree automata (English)
0 references
22 November 2012
0 references
formal languages
0 references
tree automata
0 references
pumping lemma
0 references
\(L\)-valued regular tree languages
0 references
homomorphism
0 references
minimization algorithm
0 references