Search results for "formal languages"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jetty Kleijn, Maciej Koutny	Formal Languages and Concurrent Behaviours.	New Developments in Formal Languages and Applications	2008	DBLP DOI BibTeX RDF
3	Susan H. Rodger, Jinghui Lim, Stephen Reading	Increasing interaction and support in the formal languages and automata theory course.	ITiCSE	2007	DBLP DOI BibTeX RDF	moore machine, automata, formal languages, pumping lemma, mealy machine, JFLAP
3	Michael Hielscher, Christian Wagenknecht	AtoCC: learning environment for teaching theory of automata and formal languages.	ITiCSE	2006	DBLP DOI BibTeX RDF	automata publication, formal languages, compiler construction
3	Carlos Iván Chesñevar, María Paula González, Ana Gabriela Maguitman	Didactic strategies for promoting significant learning in formal languages and automata theory.	ITiCSE	2004	DBLP DOI BibTeX RDF	formal languages, constructivism, automata theory
3	Catherine Meadows	Language generation and verification in the NRL protocol analyzer.	CSFW	1996	DBLP DOI BibTeX RDF	language verification, NRL protocol analyzer, infinite classes of states, cryptography, formal verification, cryptographic protocols, formal languages, formal languages, access protocols, security properties, exhaustive search, language generation
3	Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi	Informal and Formal Requirements Specification Languages: Bridging the Gap.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	informal languages, requirements specification languages, rule-based method, payroll system, payroll data processing, formal specification, specification languages, systems analysis, formal languages, formal languages, structured analysis, VDM, Vienna development method
3	Robert McNaughton	Automata, formal languages abstract switching, and computability in a Ph.D. computer science program.	Commun. ACM	1968	DBLP DOI BibTeX RDF	Ph.D computer science curriculum, Ph.D computer science program, automata, formal languages, theory of computability, switching theory
2	Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit	Closures in Formal Languages and Kuratowski's Theorem.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
2	Zoltán Ésik, Zoltán Fülöp (eds.)	Automata, Formal Languages, and Related Topics - Dedicated to Ferenc Gécseg on the occasion of his 70th birthday	Automata, Formal Languages, and Related Topics	2009	DBLP BibTeX RDF
2	Gemma Bel Enguix, Maria Dolores Jiménez-López	New Challenges in the Application of Non-classical Formal Languages to Linguistics.	IWANN	2009	DBLP DOI BibTeX RDF
2	Pál Dömösi	Automata Networks without any Letichevsky Criteria.	Automata, Formal Languages, and Related Topics	2009	DBLP BibTeX RDF
2	András Ádám	On some Properties of Automaton Mappings.	Automata, Formal Languages, and Related Topics	2009	DBLP BibTeX RDF
2	István Babcsányi	The Cerny Conjecture for Automata with Blocking States.	Automata, Formal Languages, and Related Topics	2009	DBLP BibTeX RDF
2		List of Publications of Ferenc Gécseg.	Automata, Formal Languages, and Related Topics	2009	DBLP BibTeX RDF
2	Yo-Sub Han, Kai Salomaa, Derick Wood	Operational State Complexity of Prefix-Free Regular Languages.	Automata, Formal Languages, and Related Topics	2009	DBLP BibTeX RDF
2	Jürgen Dassow	Conditional Grammars with Commutative, Circular and Locally Testable Conditions.	Automata, Formal Languages, and Related Topics	2009	DBLP BibTeX RDF
2	Zoltán Fülöp, Magnus Steinby	Formal Series of General Algebras over a Field and Their Syntactic Algebras.	Automata, Formal Languages, and Related Topics	2009	DBLP BibTeX RDF
2	Helmut Jürgensen	Principial Congruences in Algebras.	Automata, Formal Languages, and Related Topics	2009	DBLP BibTeX RDF
2	Arto Salomaa	Characteristic Words for Parikh Matrices.	Automata, Formal Languages, and Related Topics	2009	DBLP BibTeX RDF
2	Sándor Vágvölgyi	On Ranges of Bottom-up Tree Transducers.	Automata, Formal Languages, and Related Topics	2009	DBLP BibTeX RDF
2	Susan H. Rodger, Eric Wiebe, Kyung Min Lee, Chris Morgan, Kareem Omar, Jonathan Su	Increasing engagement in automata theory with JFLAP.	SIGCSE	2009	DBLP DOI BibTeX RDF	cyk parser, automata, formal languages, pumping lemma, jflap
2	Mark-Jan Nederhof, Giorgio Satta	Probabilistic Parsing.	New Developments in Formal Languages and Applications	2008	DBLP DOI BibTeX RDF
2	Andrew Neel, Max H. Garzon	DNA-Based Memories: A Survey.	New Developments in Formal Languages and Applications	2008	DBLP DOI BibTeX RDF
2	Martin Kutrib	Cellular Automata - A Computational Point of View.	New Developments in Formal Languages and Applications	2008	DBLP DOI BibTeX RDF
2	Carsten Damm	An Introductory Course on Communication Complexity.	New Developments in Formal Languages and Applications	2008	DBLP DOI BibTeX RDF
2	Maxime Crochemore, Thierry Lecroq	Alignments and Approximate String Matching.	New Developments in Formal Languages and Applications	2008	DBLP DOI BibTeX RDF
2	Francine Blanchet-Sadri	Open Problems on Partial Words.	New Developments in Formal Languages and Applications	2008	DBLP DOI BibTeX RDF
2	José Miguel Blanco Arbe, Ana Sánchez Ortega, Jesús Ibáñez Mártinez-Conde	Formal languages through web forms and regular expressions.	SIGCSE Bulletin	2007	DBLP DOI BibTeX RDF	regular expressions, JavaScript, web forms
2	Murray R. Bremner, Michael J. Hancock, Yunfeng Piao	Nonassociative structures on polynomial algebras arising from bio-operations on formal languages: an application of computer algebra to nonassociative systems.	ISSAC	2007	DBLP DOI BibTeX RDF	bio-operations, nonassociative algebra, polynomial identities, finite fields, formal languages, DNA computing, computer algebra, linear systems
2	Gergely Korodi, Ioan Tabus	Compression of Annotated Nucleotide Sequences.	IEEE/ACM Trans. Comput. Biology Bioinform.	2007	DBLP DOI BibTeX RDF	4 [Data]: Coding and Information Theory, F.4 [Theory of Computation]: Mathematical Logic and Formal Languages, G.3 [Mathematics of Computing]: Probability and Statistics, J.3 [Computer Applications]: Life and Medical Sciences, Nucleotide sequences, Annotation, Compression, Markov processes, Formal languages, Biology and genetics, Formal Grammars, Data compaction and compression
2	Jarkko Kari	Image Processing Using Finite Automata.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
2	Maxime Crochemore, Thierry Lecroq	Text Searching and Indexing.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
2	Tom Head, Dennis Pixton	Splicing and Regularity.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
2	Hans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske	Some Essentials of Graph Transformation.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
2	Lucian Ilie	Combinatorial Complexity Measures for Strings.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
2	Satoshi Kobayashi	Mathematical Foundations of Learning Theory.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
2	Friedrich Otto	Restarting Automata.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
2	Mitsunori Ogihara	Molecular Computation.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
2	Holger Petersen	Computable Lower Bounds for Busy Beaver Turing Machines.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
2	Jozef Gruska	Quantum Finite Automata.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
2	Hsu-Chun Yen	Introduction to Petri Net Theory.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
2	Janusz A. Brzozowski	Topics in Asynchronous Circuit Theory.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
2		Basic Notation and Terminology.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
2	Shuly Wintner	Introduction to Unification Grammars.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
2	Michel Wermelinger, Artur Miguel Dias	A prolog toolkit for formal languages and automata.	ITiCSE	2005	DBLP DOI BibTeX RDF
2	Yo-Sub Han, Derick Wood	A New Linearizing Restriction in the Pattern Matching Problem.	FCT	2005	DBLP DOI BibTeX RDF	string pattern matching, design and analysis of algorithms, Automata and formal languages
2	Michael Hoffmann 0002, Richard M. Thomas	Biautomatic Semigroups.	FCT	2005	DBLP DOI BibTeX RDF	biautomatic, automatic, Automata and formal languages, semigroups
2	Massimiliano Goldwurm, Violetta Lonati	Pattern Occurrences in Multicomponent Models.	STACS	2005	DBLP DOI BibTeX RDF	Nonnegative Matrices, Pattern Statistics, Rational Formal Series, Automata and Formal Languages, Limit Distributions
2	Emmanuel Jeandel	Topological Automata.	STACS	2005	DBLP DOI BibTeX RDF	ProbabilisticAutomata, Formal Languages, Finite Automata, Quantum Automata
2	Matteo Cavaliere, Peter Leupold	Evolution and Observation: A Non-standard Way to Accept Formal Languages.	MCU	2004	DBLP DOI BibTeX RDF
2	Maxime Crochemore, Chiara Epifanio, Roberto Grossi, Filippo Mignosi	A Trie-Based Approach for Compacting Automata.	CPM	2004	DBLP DOI BibTeX RDF	factor and suffix automata, suffix tree, index, text compression, Automata and formal languages
2	Marie-Pierre Béal, Francesca Fiorenzi, Dominique Perrin	A Hierarchy of Irreducible Sofic Shifts.	MFCS	2004	DBLP DOI BibTeX RDF	Automata and formal languages, symbolic dynamics
2	Marie-Pierre Béal, Francesca Fiorenzi, Dominique Perrin	The Syntactic Graph of a Sofic Shift.	STACS	2004	DBLP DOI BibTeX RDF	Automata and formal languages, symbolic dynamics
2	Carlos Iván Chesñevar, Maria Laura Cobo, William Yurcik	Using theoretical computer simulators for formal languages and automata theory.	SIGCSE Bulletin	2003	DBLP DOI BibTeX RDF
2	Lars Kulik, Max J. Egenhofer	Linearized Terrain: Languages for Silhouette Representations.	COSIT	2003	DBLP DOI BibTeX RDF	Formal languages, granularity, terrain, qualitative spatial reasoning
2	Libor Polák	Syntactic Semiring and Universal Automaton.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF	syntactic semiring, universal automaton MSC 2000 Classification: 68Q45 Formal languages and automata
2	Henning Fernau	Parallel Grammars: A Phenomenology.	Grammars	2003	DBLP DOI BibTeX RDF	parallelism, automata, formal languages, grammars, rewriting
2	Cezar Câmpeanu, Kai Salomaa, Sheng Yu	Regex and Extended Regex.	CIAA	2002	DBLP DOI BibTeX RDF	regex, extended regex, programming languages, formal languages, Regular expressions
2	Kouichi Hirata, Hiroshi Sakamoto	Prediction-Preserving Reducibility with Membership Queries on Formal Languages.	FCT	2001	DBLP DOI BibTeX RDF	prediction-preserving reduction with membership queries, prediction with membership queries, pattern languages, learning theory, context-free grammars, grammatical inference
2	Viliam Geffert, Carlo Mereghetti, Giovanni Pighizzini	Converting Two-Way Nondeterministic Unary Automata into Simpler Automata.	MFCS	2001	DBLP DOI BibTeX RDF	unary languages, formal languages, finite state automata
2	Arseny M. Shur, Yulia V. Konovalova	On the Periods of Partial Words.	MFCS	2001	DBLP DOI BibTeX RDF	combinatorics of words, formal languages
2	Frank Neven, Thomas Schwentick	Automata-and Logic-Based Pattern Languages for Tree-Structured Data.	Semantics in Databases	2001	DBLP DOI BibTeX RDF	XML, logic, automata, formal languages, attribute grammars, query evaluation
2	Volker Diekert, Claudio Gutiérrez, Christian Hagenah	The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete.	STACS	2001	DBLP DOI BibTeX RDF	free group, Formal languages, regular language, equations
2	Petr Kurka	Zero-Dimensional Dynamical Systems, Formal Languages, and Universality.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
2	Yun Bai, Vijay Varadharajan	On Formal Languages for Sequences of Authorization Transformations.	SAFECOMP	1999	DBLP DOI BibTeX RDF	Policy Transformation, Formal language, Default logic, Authorization Policies
2	José M. Sempere, G. Nagaraja	Learning a Subclass of Linear Languages from Positive Structural Information.	ICGI	1998	DBLP DOI BibTeX RDF	characterizable methods, Formal languages, grammatical inference, structural information
2	Gheorghe Paun, Arto Salomaa (eds.)	New Trends in Formal Languages - Control, Cooperation, and Combinatorics (to Jürgen Dassow on the occasion of his 50th birthday)	New Trends in Formal Languages	1997	DBLP BibTeX RDF
2	Ingbert Kupka	Unique Fixpoints in Complete Lattices with Applications to Formal Languages and Semantics.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
2	Klaus-Jörn Lange	Are There Formal Languages Complete for SymSPACE(log n)?	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
2	Susan H. Rodger, Anna O. Bilska, Kenneth H. Leider, Cecilia Magdalena Procopiuc, Octavian Procopiuc, Jason R. Salemme, Edwin Tsang	A collection of tools for making automata theory and formal languages come alive.	SIGCSE	1997	DBLP DOI BibTeX RDF
2	Alexander Meduna	On the Number of Nonterminals in Matrix Grammars with Leftmost Derivations.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Manfred Kudlek, Alexandru Mateescu	On Mix Operation.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Peter R. J. Asveld	Controlled Fuzzy Parallel Rewriting.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Valeria Mihalache, Victor Mitrana	Deterministic Cooperating Distributed Grammar Systems.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Lucian Ilie	The Decidability of the Generalized Confluence Problem for Context-Free Languages.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Gianina Georgescu	On the Generative Capacity of Splicing Grammar Systems.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Tudor Balanescu, Horia Georgescu, Marian Gheorghe	Grammar Systems with Counting Derivation and Dynamical Priorities.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Claudio Zandron, Claudio Ferretti, Giancarlo Mauri	A Reduced Distributed Splicing System for RE Languages.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Jozef Kelemen	Colonies as Models of Reactive Systems.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Paolo Bottoni, Giancarlo Mauri, Piero Mussio	On Controlling Rewriting by Properties of Strings and Symbols.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Henning Fernau, Rudolf Freund	Accepting Array Grammars with Control Mechanisms.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Erzsébet Csuhaj-Varjú, Arto Salomaa	Networks of Parallel Language Processors.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Adrian Chitu	PC Grammar Systems Versus Some Non-Context-Free Constructions from Natural and Artificial Languages.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Ludwig Staiger	On omega-power Languages.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Petr Sosík, Leos Stýbnar	Grammatical Inference of Colonies.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Stefan D. Bruda	On the Computational Complexity of Context-Free Parallel Communicating Grammar Systems.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Werner Kuich	Generalized Lindenmayerian Algebraic Systems.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Victor Mitrana, Ralf Stiebe	The Accepting Power of Finite Automata over Groups.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Henning Bordihn	A Grammatical Approach to the LBA Problem.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Maria Dolores Jiménez-López, Carlos Martín-Vide	Grammar Systems for the Description of Certain Natural Language Facts.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Juraj Hromkovic, Juhani Karhumäki	Two Lower Bounds on Computational Complexity of Infinite Words.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Karl R. Abrahamson, Liming Cai, Steve Gordon	A Grammar Characterization of Logarithmic-Space Computation.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Virgil Emil Cazanescu	The Structure of the Basic Morphisms.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Petr Jancar, Frantisek Mráz, Martin Plátek, Jörg Vogel	On Restarting Automata with Rewriting.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Dietmar Wätjen	On Cooperating Distributed Uniformly Limited 0L Systems.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Alexandru Mateescu, George Daniel Mateescu, Grzegorz Rozenberg, Arto Salomaa	Shuffle-like Operations on omega-words.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Sorina Dumitrescu	Characterization of RE Using CD Grammar Systems with Two Registers and RL Rules.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Kamala Krithivasan, Venkatesan T. Chakaravarthy, Raghavan Rama	Array Splicing Systems.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Maurice H. ter Beek	Teams in Grammar Systems: Sub-Context-Free Cases.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
2	Henning Fernau, Markus Holzer	Conditional Context-Free Languages of Finite Index.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF