Decidability and Shortest Strings in Formal Languages.

Levent Alpoge Thomas Ang Luke Schaeffer Jeffrey O. Shallit

Published in: DCFS (2011)

Keyphrases

formal languages
shortest common supersequence
pattern languages
formal language theory
description logics
natural language
context free grammars
formal language
artificial intelligence
machine learning
inductive inference