Descriptional complexity of formal systems : 18th International Workshop, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /: 18th International Workshop, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings. ([2016])

• Record Type: Book
• Other Titles: DCFS 2016
• Further Information: Note: Cezar Câmpeanu, Florin Manea, Jeffrey Shallit (eds.).
• Editors: Câmpeanu, Cezar; Manea, Florin; Shallit, Jeffrey
• Other Names: DCFS (Workshop), 18th
• Contents: Completely Reachable Automata -- Words Avoiding Patterns, Enumeration Problems and the Chomsky Hierarchy -- Heapability, interactive particle systems, partial orders: results and open problems -- Self-Verifying Finite Automata and Descriptional Complexity -- On the State Complexity of Partial Derivative Automata for Regular Expressions with Intersection -- Unrestricted State Complexity of Binary Operations on Regular Languages -- On the State Complexity of the Shuffle of Regular Languages -- MSO-definable properties of Muller context-free languages are decidable -- Contextual Array Grammars with Matrix and Regular Control -- Descriptional Complexity of Graph-controlled Insertion-deletion Systems -- Operations on Weakly Recognizing Morphisms -- Descriptional Complexity of Bounded Regular Languages -- The Complexity of Languages Resulting from the Concatenation Operation -- Minimal and Reduced Reversible Automata.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource, illustrations (black and white)
• Subjects: 004.01/51; Computer science; Formal methods (Computer science) -- Congresses; Formal languages -- Congresses; Formal languages; Formal methods (Computer science); Computers -- Programming -- General; Computers -- Machine Theory; Computers -- Programming -- Algorithms; Computers -- Data Processing; Computer programming / software development; User interface design & usability; Algorithms & data structures; Discrete mathematics; Logic design; Computer software; Computational complexity; Mathematics -- Logic; Mathematical theory of computation; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319411149; 3319411144
• Related ISBNs: 9783319411132
• Notes: Note: Includes bibliographical references and author index.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.