Formal language

형식언어의 상세 목록
BNF Parser/Generator lex/yacc bison/flex Lemon PLY (Python) Boost:Spirit Antlr (Java) GCC_XML OpenGrok Doxygen clang:AST diff 정규표현식 (Regular expression) (regexp) 오토마타 이론 (Automata theory)

형식 언어는 유한한 종류의 문자로 이루어진 유한한 길이의 문자열의 집합을 말한다.

형식 언어는 수학, 논리학, 언어학, 정보 이론 등에서 사용하고 있으며, 또한 계산가능성 이론과 밀접하게 관련되어 있다.

Favorite site