Descriptional Complexity of Formal Systems, 2015 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings Theoretical Computer Science and General Issues Series
Coordonnateurs : Shallit Jeffrey, Okhotin Alexander
Date de parution : 05-2015
Ouvrage de 293 p.
15.5x23.5 cm
Thèmes de Descriptional Complexity of Formal Systems :
Mots-clés :
DNA properties; Decision problem; Descriptional complexity; Distance measures; Finite automata; Finite languages; Formal languages; Integer complexity; Measures of nondeterminism; Nondeterministic finite automat; Ordered rewriting; Permutation automaton; Petri net language; Quantum state complexity; Regular languages; State complexity; Trajectories; Transducers; Undecidability; Weighted finite automata