Description
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
Coordinators: Shallit Jeffrey, Okhotin Alexander
Language: EnglishSubjects for Descriptional Complexity of Formal Systems:
Keywords
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
293 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>Comment
/li>