Recent Advances in Formal Languages and Applications

The theory of formal languages is widely accepted as the backbone of theoretical computer science originating from mathematics and generative linguistics. All human problem solving capabilities can be considered in a certain sense as a manipulation of symbols and structures composed by symbols, which is actually the stem of formal language theory. Language – in its two basic forms, natural and artificial – is a particular case of a symbol system.

The contributors present the main results a...