4
나는 Computation Theory에 관한 강의에서 몇 가지 메모를 검토 중이며 다음 진술을 보여주기 위해 약간의 노력을 기울이고 있으며 누군가가 나를 도와 줄 수 있기를 바라고 있습니다. 설명 :Theory of Computation - 언어가 규칙적이라는 표시
A는 정규 언어입니다. 언어 B = {ab | a는 A에 존재하고 b는 A에 존재하지 않습니다.} B가 정규 언어 인 이유는 무엇입니까?
몇 가지 사항은 분명합니다. b가 단순히 상수 문자열이면, 이것은 사소한 것입니다. a가 A이고 b가 문자열이라는 것을 알고 있기 때문에 정규 언어는 노동 조합에 의해 닫혀 있으므로이 두 문자열을 허용하는 언어를 결합하는 것은 분명히 규칙적입니다. 그러나 나는 b가 일정하다는 것을 확신하지 못합니다. 어쩌면 그렇 겠지만, 그렇다면 실제로는 문제가되지 않습니다. 나는 그것을 이해하는 데 어려움을 겪고있다. 감사!
+1. 폐쇄 속성은 갈 길입니다. – outis