Search results
From MaRDI portal
- Publication Date of Publication Type Quasi-realtime languages (Extended Abstract) 2014-03-14 Paper Formal Languages: Origins and Directions 2002-11-25 Paper https://portal...10 bytes (18 words) - 22:56, 12 December 2023
- ions on basic families of formal languages 2024-03-28 Paper A time to cast away stones 2024-02-28 Paper On hardest languages for one-dimensional cellular...10 bytes (17 words) - 09:17, 25 September 2023
- Abstract Interpretation 2007-02-12 Paper Formal Modeling and Analysis of Timed Systems 2006-11-14 Paper Formal Modeling and Analysis of Timed Systems 2006-11-14...10 bytes (19 words) - 16:50, 9 December 2023
- Keywords formal grammars; formal language theory; finite transducers; inverse homomorphisms; grammars with context operators; hardest formal languages Mathematics...15 bytes (64 words) - 17:15, 25 April 2024
- automata; Greibach's theorem; hardest context-free language Mathematics Subject Classification ID 68Q45: Formal languages and automata...15 bytes (27 words) - 23:53, 5 February 2024
- Keywords Shannon effect; hardest finite languages; non-uniform measures Mathematics Subject Classification ID 68Q45: Formal languages and automata 03D15: Complexity...15 bytes (66 words) - 17:19, 5 February 2024
- conjunctive grammar; Boolean grammar; hardest language Mathematics Subject Classification ID 68Q45: Formal languages and automata 68Q42: Grammars and rewriting...15 bytes (63 words) - 07:44, 1 February 2024
- On the Tape Complexity of Deterministic Context-Free Languages The Hardest Context-Free Language Finite-Turn Pushdown Automata On the Length of Programs...15 bytes (144 words) - 06:23, 31 January 2024
