다음 연습 문제를 해결하는 방법을 배우려고합니다. 나는 시작하는 방법을 이해하지 못한다. 압도적이다. DFA, NFA 및 DFA를 NFA로 변환하는 방법을 알고 있습니다. 나는 또한 형식적인 표기법을 이해한다. 이것은 숙제 연습이 아니라 공부하기위한 것입니다. 나는 해결책을 가지고 있지만 어느 것이 든 이해할 수는 없다 .. 누군가가 놀랄만한 운동을 할 수
을 적용 나는 Data 스키마의 순서를 추적 Array 스키마를 가지고있다. 프로모션을 사용하여 Array과 (과) 함께 사용할 수있는 Increment 작업을 승격 할 수 있습니다. ArrayIncrement은 Array 안에 하나의 데이터 만 씩 증가시킵니다. 어떻게하면 마다Data을 \ran data 단위로 증가 시키나요?
저는 실제 업무에서 문맥 자유 문법의 응용 프로그램을 공식화하려고합니다. 하나의 보조 정리를 증명하는 데 문제가 있습니다. 나는 문제를 개략적으로 설명하기 위해 상황을 단순화하려고 노력했지만, 여전히 조금 성가시다. 다음과 같이 그래서 나는 촘스키 정상적인 형태와 단말기의 목록 derivability에 CFG 정의 : 내가 예를 들어, 터미널 및 몇 가지
나는 TM = DFA는 정지에서 감소를 사용하여 결정 불가능하다는 것을 증명하고있다 이론적으로 Turing Machine은 계산 가능한 모든 기능을 캡처하고 DFA는 상수로 계산할 수있는 기능 만 캡처한다는 것을 이해합니다. 공간 따라서 TM = DFA는 결정 불가능하다. 여기 내 단계는 : 결정하는 R L (M) = L (D)를 가정 EQ_DM = {[D
주어진 언어 K = {e^h f^i | 2h> i> h} 문맥 자유 문법을 생성해야합니다. 내가 만든 몇 가지 제작 규칙은 다음과 같습니다. S -> eeTfff 및 T -> eTff | ε n = m + 1 인 경우에만 작동하지만 2h> i> h의 모든 조합에 대해 규칙을 생성하는 방법을 알지 못합니다.
문맥 자유 문법 제공 언어를 생성하는 H M = {a^m b^n | 2m> n> m}. ' 힌트 : m은 0 일 수 없습니다.이 경우 2m = m이기 때문입니다. m은 1 일 수 없습니다.이 경우 2> n> 1이기 때문에 자연스러운 숫자 은 존재하지 않습니다. 따라서 언어 M에서 가장 짧은 문자열은 aabb입니다. 긴 문자열의 경우,에 bs의 수 n과 as
매트릭스와 벡터가 포함 된 표현식의 특성을 증명하고 싶습니다 (크기는 고정적이지만 크기는 고정적 일 수 있음). 나는 식의 결과가 대각 행렬이나 삼각 행렬이, 또는 명확한 긍정적임을 입증 할 예를 들어 ... 내가 인코딩 잘 알려진 속성을 원하는이를 위해 및 ||x + y|| <= ||x|| + ||y||
(A * B) * C = A * (B * C)