[형식언어 기초] 형식언어 ( formal language ) : 어떤 알파벳에서 얻은 기호(symbol)들로 구성되는 문자열들의 집합 알파벳 : 기호들의 유한집합 문자열 : 알파벳을 구성하는 기호가 0개 또는 1개 이상 나열된 것 ex ) 집합 T = { a, b, c}가 주어졌을 때, 집합 T는 기호 a, b, c들의 집합이므로 알파벳이다. T로부터 만들어지는 문자열은 a, b, c, ab, ac, ca,..... 등이다. 문자열의 길이 : 문자열을 이루는 기호들의 갯수를 문자열의 길이라고 한다. |w|로 표시한다. ex) w1 = abc, w2 = abab 의 문자열에 대한 길이는 |w1| = 3 , |w2| = 4라고 할 수 있다. 공문자열 : 문자열의 길이가 0 인것을 공문자열이라고 한다. ε ..