{"product_id":"castiglione-giuseppa-implementation-and-application-of-automata-9783032026019","title":"Implementation and Application of Automata","description":".- Complementable Normal Form of Parametrized Automata.\n\u003cbr\u003e\n.- Toward the Glushkovization of Automata: the Strong Stabilization.\n\u003cbr\u003e\n.- Constructing Compact BPE Token DFAs.\n\u003cbr\u003e\n.- Epsilon Automata on Linear Orderings.\n\u003cbr\u003e\n.- Multi-entry DFA with reduced initial states to speedup parallel recognition.\n\u003cbr\u003e\n.- Two-Way Automata and Bounded Languages.\n\u003cbr\u003e\n.- An Algebraic Approach to the Equivalence Checking of Deterministic Top-down Tree Transducers.\n\u003cbr\u003e\n.- An active learning algorithm for bidirectional deterministic finite automata.\n\u003cbr\u003e\n.- Dynamically Weighted Tree Transducers.\n\u003cbr\u003e\n.- Engineering an LTLf Synthesis Tool.\n\u003cbr\u003e\n.- Subsequence Matching and Analysis Problems for Automata with Translucent Letters.\n\u003cbr\u003e\n.- Shape Preserving Tree Transducers.\n\u003cbr\u003e\n.- Simulating two-way nondeterministic finite automata over small alphabets by one-way nondeterministic automata.\n\u003cbr\u003e\n.- A New Approach for Showing Termination of Parameterized Transition Systems.\n\u003cbr\u003e\n.- An Earley-Based Universal Error-Correcting Parser.\n\u003cbr\u003e\n.- More on Language Families with a Decidable Pumping-Problem (Extended Abstract).\n\u003cbr\u003e\n.- Self-Verifying Predicates in B¨uchi Arithmetic.\n\u003cbr\u003e\n.- State-Freezing Pushdown Automata.\n\u003cbr\u003e\n.- From regular expressions to deterministic finite automata: $2ˆ{\\frac{n}{2}+\\sqrt{n}(\\log n)ˆ{\\Theta(1)}}$ states are necessary and sufficient.\n\u003cbr\u003e\n.- A first taste of MeSCaL, a tool for solving membership problems for regular languages.\n\u003cbr\u003e\n.- In orbit with MeSCaL: higher in concatenation and navigational hierarchies of regular languages.\n\u003cbr\u003e\n.- A hierarchy of reversible finite automata.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53745129455958,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/castiglione-giuseppa-implementation-and-application-of-automata-9783032026019","provider":"momoxbooks","version":"1.0","type":"link"}