Introduction to Mathematical Linguistics |
Contents
Infinite Sets | 4 |
The Predicate Calculus | 51 |
Further Aspects of Set Theory | 81 |
Copyright | |
14 other sections not shown
Other editions - View all
Common terms and phrases
alphabet argument form automaton axiom axiomatic system Chomsky computation conditional proof configuration connex contains context-free defined denoted derivation deterministic domain of discourse dominates elementary propositions equivalence classes equivalence relation example expression f f f f t f false finite number finite set G₁ given grammar G identity element infinite set input string input tape instantiation inverse irreflexive isomorphism logically equivalent mathematical monoid natural language negation node labeled nondeterministic notation occurrences one-to-one correspondence operation ordered pairs ordered triples partially ordered set partition positive integers precedes predicate premises properties propositional function prove pushdown quantifier R₁ recursive definition reflexive regular sets rules S₁ sentence sequence specified subset symmetric tautology terminal string terminal symbols theorem transformational grammar transitive tree true truth table truth value Turing machine two-sided identity type 3 grammar type 3 languages V₁ V₂ valid variable Venn diagram