Descriptional complexity of formal systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings. (2017)

• Record Type: Book
• Other Titles: DCFS 2017
• Further Information: Note: Giovanni Pighizzini, Cezar Câmpeanu (eds.).
• Editors: Pighizzini, Giovanni; Câmpeanu, Cezar
• Other Names: DCFS (Workshop), 19th
• Contents: Sensing as a Complexity Measure -- Avoiding Overlaps in Pictures -- Descriptional Complexity and Operations -- Two non-Classical Cases -- Applications of Transducers in Independent Languages, Word Distances, Codes -- On the Degree of Nondeterminism of Tree Adjoining Languages and Head Grammar Languages -- On the Average Complexity of Strong Star Normal Form -- Most Complex Non-Returning Regular Languages -- Uncountable realtime probabilistic classes -- A Parametrized Analysis of Algorithms on Hierarchical Graphs -- Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity -- Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors -- Recognizing Union-Find trees built up using union-by-rank strategy is NP-complete -- Self-attraction removal from oritatami systems -- One-Time Nondeterministic Computations -- Kuratowski Algebras Generated by Factor-, Subword-, and Suffix-Free Languages -- Branching Measures and Nearly Acyclic NFAs -- Square on Deterministic, Alternating, and Boolean Finite Automata -- A Pumping Lemma for Ordered Restarting Automata -- Concise Representations of Reversible Automata -- State Complexity of Unary SV-XNFA with Different Acceptance Conditions -- Reset Complexity of Ideal Languages Over a Binary Alphabet -- 2-state 2-symbol Turing machines with periodic support produce regular sets -- State Complexity of Suffix Distance -- The quotient operation on input-driven pushdown automata.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (x, 311 pages), illustrations
• Subjects: 004.01/51; Computer science; Formal methods (Computer science) -- Congresses; Formal languages -- Congresses; Computer Science; Logics and Meanings of Programs; Computation by Abstract Devices; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity; Software Engineering/Programming and Operating Systems; Formal languages; Formal methods (Computer science); Computers -- Machine Theory; Mathematics -- Logic; Computers -- Programming -- Algorithms; Computers -- Software Development & Engineering -- General; User interface design & usability; Mathematical theory of computation; Algorithms & data structures; Software Engineering; Logic design; Computer software; Software engineering; Computers -- Programming -- General; Computer programming / software development; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319602523; 3319602527; 3319602519; 9783319602516
• Related ISBNs: 9783319602516
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed June 29, 2017).
• 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.