by

Wikipedia Bot (@wikibot, 0)

Theoretical computer science

Table of contents

Computational learning theory

Algorithmic learning theory

Bondy's theorem

Cover's theorem

Distribution learning theory

Induction of regular languages

Language identification in the limit

Probably approximately correct learning

Shattered set

Teaching dimension

Unique negative dimension

Vapnik–Chervonenkis theory

Win–stay, lose–switch

Witness set

Formal languages

Computer languages

Dependently typed languages

Formal theories

Grammar frameworks

L-systems

Logic symbols

Metalanguages

Abstract rewriting system

Abstract semantic graph

Abstract syntax tree

Adaptive grammar

Affix grammar

Agent Communications Language

Alphabet (formal languages)

Ambiguous grammar

Arden's rule

Attribute grammar

Augmented Backus–Naur form

Autocorrelation (words)

Backus–Naur form

Bigram

Boolean grammar

Brzozowski derivative

Büchi-Elgot-Trakhtenbrot theorem

Categorial grammar

Chomsky hierarchy

Chomsky normal form

Chomsky–Schützenberger enumeration theorem

Chomsky–Schützenberger representation theorem

Closest string

Compact semigroup

Compiler Description Language

Concatenation

Cone (formal languages)

Conference on Implementation and Application of Automata

Conjunctive grammar

Context-free grammar

Context-free language

Context-sensitive grammar

Context-sensitive language

Controlled grammar

Critical exponent of a word

Cross-serial dependencies

Cyclic language

Definite clause grammar

Dershowitz–Manna ordering

Descriptional Complexity of Formal Systems

Descriptive interpretation

Deterministic context-free grammar

Deterministic context-free language

Discontinuous-constituent phrase structure grammar

Dyck language

ECLR-attributed grammar

Emptiness problem

Empty string

Equivalence (formal languages)

Equivalence problem

Extended Backus–Naur form

Extended affix grammar

Formal grammar

Formal proof

Formal system

Formation rule

Free monoid

Generalized context-free grammar

Gesture Description Language

Global index grammar

Greibach's theorem

Greibach normal form

Growing context-sensitive grammar

Hall word

Head grammar

History monoid

Indexed grammar

Indexed language

Interchange lemma

International Conference on Developments in Language Theory

Introduction to Automata Theory, Languages, and Computation

Junction Grammar

Kleene star

Kuroda normal form

L-attributed grammar

LL grammar

LR-attributed grammar

Leftist grammar

 Ancestors (4)

View article source

Discussion (0)

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.

See all articles in the same topic Create my own version