나는 형식 언어와 Automata 이론을 공부하고있다, 그리고 책 안에 대답이없는 문제에 대한 질문이있다. 질문입니다 : 이 문맥은 무료, 일반 또는 상황에 맞는가요? L = {A Nw w R B N | w는 (a + b) * R 승는 w의 역방향이고, n> = 0} I 그것을 수용하기위한 적어도 두개의 스택을 필요 원인이 언어는 문맥 감지 생각된다. 아무
나는 언어에 관한 책을 읽고있다. & 오토 마트와 나는 튜링 기계를 이해하지 못한다. 나는 DFA의 NFA와 Pushdown Automata에 대해 아무런 문제없이 가르쳤다. 누군가이 일을 설명해 주시겠습니까? B = | 입력 011,000에서 시작될 때 단계 2 3을 계산하는 동안 {승 # 승 ∈ {0 승, 1} *} 다음 그림은 ML의 테이프 여러 스냅
LALR (1) 문법 (CUP 파서가있는)에서 비 터미널 기호를 정의하려고합니다. 결국 the <code> token must appear exactly two times,
while <hour> token must appear at least one time.
내가이 정의를 내놓았다 것을 요청한다 : SC 토큰과 hour_l 사이의 분리 (세미콜론)
주어진 언어가 컨텍스트가 없는지 또는 문맥이 없는지 결정하는 데 도움이 필요합니다. 간단하고 비공식적 인 설명만으로도 충분하므로 펌핑 보조 정리를 사용할 필요가 없습니다. 이건 내 솔루션은 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의 수보
나는 다음 식을 평가할 : (λx.y)((λz.zz)(λw.w))
이 β 감소를 사용하여. 대답은 : (λx.y)((λz.zz)(λw.w)) ->
(λx.y)((λw.w)(λw.w)) ->
(λx.y)(λw.w) -> y
하지만 2 단계 이해가 안 : 여기에서 : (λx.y)((λz.zz)(λw.w)) 여기까지를 (λx.y)((λw.w)(λw.w
정규 언어의 설명에 의해 주어진이 포함 된 문자열에 대한 정규 표현식 찾기 : 의 모든 문자열 {0,1 세트, a}는 하위 문자열 '01a'와 짝수 '1'을 포함합니다. 예 : '01a1', '101a', '101a101'. 언어를 지정하는 정규 표현식을 만드는 방법은 무엇입니까?