/wiki/Formal_semantics_(linguistics)
/wiki/Register_(sociolinguistics)
/wiki/Colorless_green_ideas_sleep_furiously
/wiki/Mathematics
/wiki/Computer_science
/wiki/Linguistics
/wiki/String_(computer_science)
/wiki/Symbol_(formal)
/wiki/Alphabet_(computer_science)
/wiki/Well-formed_formula
/wiki/Formal_grammar
/wiki/Regular_grammar
/wiki/Context-free_grammar
/wiki/Formation_rule
/wiki/Syntax
/wiki/Natural_language
/wiki/Programming_language
/wiki/Semantics
/wiki/Computational_complexity_theory
/wiki/Decision_problem
/wiki/Complexity_class
/wiki/Parser
/wiki/Logic
/wiki/Foundations_of_mathematics
/wiki/Axiomatic_system
/wiki/Formalism_(mathematics)
/wiki/Gottlob_Frege
/wiki/Begriffsschrift
/wiki/Axel_Thue
/wiki/Semi-Thue_system
/wiki/Set_(mathematics)
/wiki/Alphabet
/wiki/Character_set
/wiki/ASCII
/wiki/Unicode
/wiki/Countable_set
/wiki/Kleene_star
/wiki/Concatenation
/wiki/Subset
/wiki/Regular_language
/wiki/Context-free_language
/wiki/Natural_number
/wiki/Degeneracy_(mathematics)
/wiki/%E2%88%85
/wiki/Turing_machine
/wiki/Alphanumeric
/wiki/Regular_expression
/wiki/Automata_theory
/wiki/Finite_state_machine
/wiki/Algorithm
/wiki/Computability_theory_(computer_science)
/wiki/Chomsky_hierarchy
/wiki/Parsing
/wiki/String_homomorphism
/wiki/String_operations
/wiki/Closure_(mathematics)
/wiki/Cone_(formal_languages)
/wiki/Abstract_family_of_languages
/wiki/Deterministic_context-free_language
/wiki/Context_free_language
/wiki/Indexed_language
/wiki/Context_sensitive_language
/wiki/Recursive_language
/wiki/Recursively_enumerable_language
/wiki/Union_(set_theory)
/wiki/Intersection_(set_theory)
/wiki/Complement_(set_theory)
/wiki/Syntax_(programming_languages)
/wiki/Compiler_compiler
/wiki/Lexical_analyzer
/wiki/Lex_programming_tool
/wiki/Identifier
/wiki/Keyword_(computer_programming)
/wiki/Regular_expressions
/wiki/Parser_generator
/wiki/Yacc
/wiki/Abstract_syntax_tree
/wiki/Executable
/wiki/Machine_code
/wiki/Intermediate_code
/wiki/Virtual_machine
/wiki/Syntax_(logic)
/wiki/Formal_system
/wiki/Theorem
/wiki/Theory_(mathematical_logic)
/wiki/Mathematical_logic
/wiki/Sentence_(mathematical_logic)
/wiki/Deductive_apparatus
/wiki/Transformation_rule
/wiki/Axiom
/wiki/Proof_theory
/wiki/Proposition
/wiki/Rule_of_inference
/wiki/Formal_semantics_(logic)
/wiki/Interpretation_(logic)
/wiki/Model_theory
/wiki/Truth_value
/wiki/Structure_(mathematical_logic)
/wiki/Combinatorics_on_words
/wiki/Free_monoid
/wiki/Formal_method
/wiki/Grammar_framework
/wiki/Mathematical_notation
/wiki/Associative_array
/wiki/Cambridge_University_Press
/wiki/International_Standard_Book_Number
/wiki/Seymour_Ginsburg
/wiki/Michael_A._Harrison
/wiki/John_Hopcroft
/wiki/Jeffrey_Ullman
/wiki/Introduction_to_Automata_Theory,_Languages,_and_Computation
/wiki/Wolfgang_Rautenberg
/wiki/New_York_City
/wiki/Springer_Science%2BBusiness_Media
/wiki/Digital_object_identifier
/wiki/Grzegorz_Rozenberg
/wiki/Arto_Salomaa
/wiki/Michiel_Hazewinkel
/wiki/Encyclopedia_of_Mathematics
/wiki/PlanetMath
/wiki/University_of_Maryland,_Baltimore
/wiki/Springer_Verlag
/wiki/Abstract_machine
/wiki/Unrestricted_grammar
/wiki/Context-sensitive_grammar
/wiki/Range_concatenation_grammars
/wiki/Indexed_grammar
/wiki/Linear_context-free_rewriting_system
/wiki/Tree-adjoining_grammar
/wiki/Deterministic_context-free_grammar
/wiki/Nested_word
/wiki/Non-recursive_grammar
/wiki/Context-sensitive_language
/wiki/Range_concatenation_language
/wiki/Linear_context-free_rewriting_language
/wiki/Star-free_language
/wiki/Finite_language
/wiki/Machine_that_always_halts
/wiki/Linear_bounded_automaton
/wiki/PTIME
/wiki/Nested_stack_automaton
/wiki/Thread_automaton
/wiki/Tree_stack_automaton
/wiki/Embedded_pushdown_automaton
/wiki/Pushdown_automaton
/wiki/Deterministic_pushdown_automaton
/wiki/Finite-state_machine
/wiki/Aperiodic_finite_state_automaton
/wiki/Deterministic_acyclic_finite_state_automaton
/wiki/Proper_subset
/wiki/Formal_proof
/wiki/Element_(mathematics)
/wiki/Class_(set_theory)
/wiki/Classical_logic
/wiki/Finitary_relation
/wiki/Logical_consequence
/wiki/Type_theory
/wiki/Deductive_system
/wiki/Hilbert_system
/wiki/Natural_deduction
/wiki/Sequent_calculus
/wiki/Term_logic
/wiki/Inference
/wiki/Argument
/wiki/Validity_(logic)
/wiki/Cogency
/wiki/Syllogism
/wiki/Square_of_opposition
/wiki/Venn_diagram
/wiki/Propositional_calculus
/wiki/Boolean_algebra
/wiki/Boolean_function
/wiki/Propositional_formula
/wiki/Logical_connective
/wiki/Truth_table
/wiki/Many-valued_logic
/wiki/Predicate_logic
/wiki/First-order_logic
/wiki/Quantifier_(logic)
/wiki/Predicate_(mathematical_logic)
/wiki/Second-order_logic
/wiki/Monadic_predicate_calculus
/wiki/Naive_set_theory
/wiki/Empty_set
/wiki/Enumeration
/wiki/Extensionality
/wiki/Finite_set
/wiki/Infinite_set
/wiki/Power_set
/wiki/Uncountable_set
/wiki/Recursive_set
/wiki/Domain_of_a_function
/wiki/Codomain
/wiki/Image_(mathematics)
/wiki/Map_(mathematics)
/wiki/Function_(mathematics)
/wiki/Binary_operation
/wiki/Ordered_pair
/wiki/Set_theory
/wiki/Zermelo%E2%80%93Fraenkel_set_theory
/wiki/Axiom_of_choice
/wiki/General_set_theory
/wiki/Kripke%E2%80%93Platek_set_theory
/wiki/Von_Neumann%E2%80%93Bernays%E2%80%93G%C3%B6del_set_theory
/wiki/Morse%E2%80%93Kelley_set_theory
/wiki/Tarski%E2%80%93Grothendieck_set_theory
/wiki/Non-standard_model
/wiki/Finite_model_theory
/wiki/Computability_theory
/wiki/Recursion
/wiki/Recursively_enumerable_set
/wiki/Church%E2%80%93Turing_thesis
/wiki/Computable_function
/wiki/Primitive_recursive_function
/wiki/Integrated_Authority_File
/wiki/National_Diet_Library
