하나의 논리기호가 다른 기호들의 시퀀스가 아니라는 조건이 있던데
이거 꼭 필요한거임?
그냥 다른 기호랑 같지만 않으면 충분한 거 아닌가?
concatenation 때문에 그런거면
어느 문자 c가 다른 기호들의 시퀀스라도 짜피 연결되는건 문자 c가 아니라 c로 된 길이 1인 시퀀스니까 상관 없는거 같은데
아닌감?