Language and automata theory and applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. ([2018])

• Record Type: Book
• Further Information: Note: Edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
• Editors: Klein, Shmuel Tomi; Martín Vide, Carlos; Shapira, Dana
• Other Names: LATA (Conference), 12th
• Contents: Underlying principles and recurring ideas of formal grammars -- Sliding Window Algorithms for Regular Languages -- Reshaping the context-free model: linguistic and algorithmic aspects -- Disturbance Decoupling in Finite Automata -- On the synchronization of planar automata -- Event-Clock Nested Automata -- On Periodicity Lemma for Partial Words -- Bubble-Flip -- A New Generation Algorithm for Prefix Normal Words -- Pomsets and Unfolding of Reset Petri Nets -- Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets -- Measuring Closeness between Cayley Automatic Groups and Automatic Groups -- Permutations sorted by a finite and an infinite stack in series -- Analytic combinatorics of lattice paths with forbidden patterns: enumerative aspects -- Deciding regular intersection emptiness of complete problems for PSPACE and the polynomial hierarchy -- Descriptional and computational complexity of the circuit representation of finite automata -- Model Learning as a Satisfiability Modulo Theories Problem -- Default Logic and Bounded Treewidth -- General Class of Monoids Supporting Canonisation and Minimisation of (Sub)sequential Transducers -- Learners Based on Transducers -- Handling ties correctly and efficiently in Viterbi training using the Viterbi semiring -- Formal languages over GF(2) -- Timed Comparisons of Semi-Markov Processes -- Efficient Translation with Linear Bimorphisms.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (x, 321 pages), 39 illustrations
• Subjects: 005.1015113; Computer science; Machine theory -- Congresses; Formal languages -- Congresses; Mathematical linguistics -- Congresses; Logic design; Computer software; Artificial intelligence; Formal languages; Machine theory; Mathematical linguistics; Mathematics -- Logic; Computers -- Programming -- Algorithms; Computers -- Programming -- General; Computers -- Intelligence (AI) & Semantics; Computers -- Mathematical & Statistical Software; Mathematical theory of computation; Algorithms & data structures; Computer programming / software development; Artificial intelligence; Maths for computer scientists; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity; Programming Techniques; Artificial Intelligence (incl. Robotics); Probability and Statistics in Computer Science; Electronic books; Conference papers and proceedings; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319773131; 3319773135
• Related ISBNs: 9783319773124; 3319773127
• 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.