Multi-valued automata and their applications

DOI10.3233/978-1-60750-100-8-179MaRDI QIDQ3060982zbMATH OpenFDO

Authors Orna Kupferman

Publication date 13 December 2010

zbMATH Keywords

latticeonline algorithmsDe Morgan latticelattice automatamulti-valued automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Online algorithms; streaming algorithms (68W27) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Weighted automata
• Lattice Automata
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Approximating deterministic lattice automata

Cited in

(5)

• Direct and dual laws for automata with multiplicities
• Lattice Automata
• Reasoning about online algorithms with weighted automata
• scientific article; zbMATH DE number 3924681 (Why is no real title available?)
• scientific article; zbMATH DE number 1452989 (Why is no real title available?)

This page was built for publication: Multi-valued automata and their applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3060982)