특정 언어가 아닌 클로저에 대한 몇 가지 질문! > : |

Question

나는 약간의 숙제를하고 있고, 클로저를 이해하는 데 어려움을 겪고있다. 이는 부울 대수와 관련이 있으며 특정 프로그래밍 언어가 아닙니다.

다음은 예입니다. 다음 작업 중 다음 세트가 닫혀 있습니까? 연결중인 언어 {a, b}.

자, 이제부터 : http://en.wikipedia.org/wiki/Closure_%28mathematics%29, 언어 {a, b}의 연결은 ab, aa, bb와 같은 원본 세트 {a, b}의 멤버가 아니기 때문에 그 세트는 연결 조작 하에서 닫히지 않습니다.

이 부분을 올바르게보고 있습니까? 나는 그 정의를 오해하기 쉽다. 연산이 주어진 언어에 의해 생성 될 수있는 결과를 생성한다면, 그 연산에 따라 그 집합이 닫히는 것을 의미 할 수도 있습니다.

누구나 이것에 찔러 내고 도와 주겠습니까? :)

고마워요!

Answer 1

계산 이론에서는 일반적으로 기호 집합 (문자, 문자 등)과 단어 집합을 구별합니다. 문자 집합이 작업 아래에 닫혀 있는지 여부를 논의하는 것은 결코 의미가 없습니다. 대신 작업 중에 일부 단어 집합이 닫혀 있는지 묻습니다.

예제에서 {a, b}는 기호 집합입니다. 그 심볼 세트상의 모든 단어들의 집합 S는 S에서 2 개의 단어를 연결하여 S에 여전히 단어가 생기므로 결합하에 닫혀진다.