주어진 언어가 컨텍스트가 없는지 또는 문맥이 없는지 결정하는 데 도움이 필요합니다. 간단하고 비공식적 인 설명만으로도 충분하므로 펌핑 보조 정리를 사용할 필요가 없습니다. 이건 내 솔루션은 L1 = { w ∈ {a, b, c, d}* | #a(w) is even, #b(w) = 1 mod 3, w does not have
a substr
펌핑 보조 정리 문제에 대한 도움이 필요합니다. y = uvw is the string from the pumping lemma.
나는 Y하자 = ABBC^n, 이때 n 펌핑 보조 정리의 길이 : L = { {a,b,c}* | #a(L) < #b(L) < #c(L) }
이것은 내가 지금까지 무엇을 가지고 있습니다. a : s의 수가 b : s의 수보
전환이 매우 간단하지 않은 몇 가지 경우가 있기는하지만 거의 직설적인 16 상태 상태 머신 인 코드 덩어리를 디버깅하려고합니다 (상태 변경이 작동하는 데이터는 커플 C++ 클래스). 우리는 예상보다 훨씬 빨리 "최종"상태로 끝나는 기계를 찾고 있습니다. 아직 코드에 익숙하지 않기 때문에 다른 전환 경로를 신속하게 식별하고 디버그 할 수있는 방법으로 여러 상
이것은 this의 재현이지만, 나는 PDA를 디자인하는 측면에서 이야기하고있다. 자, 저는 이것이 틀림 없다는 것을 알고 있습니다. 이것은 잘 알려진 예제이기 때문에, 아래의 PDA 설계에서 어디서 잘못 되었습니까? 은 내가 스택에 내가 a가 발생할 때마다 두 1 년대를 밀어 언어를 {a^n b^n c^n: n>=0} 을 수락 할, b 하나를 팝업 c 하나
유한 자동화가 주어진 정규 표현식을 생성하는 프로그램을 작성하는 방법이나 c (선호)에있는 프로그램이있는 경우 누구라도 궁금합니다. 상황을 덜 복잡하게 만들려면 FA가 최소 형식이고 FA에 FinalState가 하나만 있고 StartState가 하나만 있다고 가정하고 상태 수를 약 4로 제한하고 싶습니다. 필자는 잠시 동안 생각해 봤는데, 가장 먼저해야 할
Linear Temporal Logic을 사용하여 이러한 오토 마톤을 어떻게 모델링했는지 이해하는 데 어려움이 있습니다. 누군가이 제발이 그림을이 경우 link에있는 경우에 설명해주십시오. 또는 이것을 예제에 설명하는 출처로 안내해주십시오. 귀하의 도움에 미리 감사드립니다.
저는 DFA를 가지고 있지만 그것이 수락인지 여부를 알지 못합니다. 나는 그것이 받아들이는 정규 표현만을 알고있다. 상태를 받아들이는지 알아 내려고 노력 중이므로 DFA의 각 상태를 살펴보고 현재 상태에서 생성 된 단어와 수락하는 정규식을 비교하려고합니다. 그래서 단어를 정규식과 비교하여 일치하는지 알려주면 DFA의 상태를 승인 된 상태로 표시하고 다른 상