English Dictionary

In automata theory, a formal language is defined as a set of finite strings formed from a finite alphabet.

オートマトン理論では、形式言語とは有限のアルファベットから作られる有限長の文字列の集合を指します。