Formal Language Theory

 [ String Processing ]  [ Pattern Recognition ]  [ Formal Methods ]  [ Formal Languages Links ]

Splicing Language and System

The Splicing system concept was created to allow the convenient representation of the actions of certain sets of restriction enzymes and ligases on double-stranded DNA molecules. The splicing system is to serve as a viable proposal for designing universal programmable Molecular Computer.

Web Resources for Splicing System
Regular Languages and Finite Automata

Finite Automata is the simplest form of abstract computing device, but it is an important foundation for a large number of concrete and abstract applications. The applications of finite automata include algorithms for string matching in text editors, spell checkers and in the lexical analyzers in Compilers.

Web Resources for Regular Languages