«formal-languages» 태그된 질문

공식 언어, 문법 및 오토마타 이론과 관련된 질문

1
초기 상태 / 수락 상태가 다른 두 DFA에서 허용되는 언어의 차이점은 무엇입니까?
최근 에 Math SE에 대해 질문 했습니다. 아직 응답이 없습니다. 이 질문은 그 질문과 관련이 있지만 컴퓨터 과학에 대한 더 많은 기술적 세부 사항입니다. 두 개의 DFA가 주어짐 A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) 과 B=(Q,Σ,δ,q2,F2)B=(Q,Σ,δ,q2,F2)B = (Q, \Sigma, \delta, q_2, F_2) 여기서 상태 집합, 입력 알파벳 및 전환 …
3
는 정규는?
몇 주 전에 전산 시험 이론을 택했는데 이것이 질문 중 하나였습니다. 언어L={(anbm)r∣n,m,r≥0}엘={(ㅏ엔비미디엄)아르 자형∣엔,미디엄,아르 자형≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L은 규칙적인가요? 그렇다면 정규 표현식이나 오토 마톤을 제공하십시오. 시험 후 그에게 답을 간단히 물었을 때, 그것은 실제로 규칙적인 것처럼 보입니다 (그는 표현이 단순하다고 생각합니다 ). 그러나 그 이유를 이해할 수없는 것 같습니다. 내가 …
3
언어가 규칙적이라고 직관적으로 느끼는 방법
주어진 언어 L = {ㅏ엔비엔씨엔}L={anbncn} L= \{a^n b^n c^n\}, 생산 규칙을 ​​보지 않고이 언어가 규칙적이지 않다는 것을 직접 말할 수 있습니까? 나는 펌핑 보조 정리를 사용할 수 있지만 일부 사람들은 이것이 규칙적인 것이 아니라는 문법을보고 있다고 말합니다. 그게 어떻게 가능해?
1
그 증거
다음 문제에 도움을 드리고자합니다. L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}. 보여L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE. 나는 증명하기 위해 L∉REL∉REL\notin RE언어를 찾는 것으로 충분합니다 L′L′L' 그런 L′∉REL′∉REL'\notin RE 에서 감소가 있음을 보여 L′L′L' 에 LLL (L′≤ML)(L′≤ML)(L'\leq _M L). 나는 그들이 이미 알고있는 언어를 생각하기 시작했습니다. RERERE나는 …
3
경우 문맥 자유이고, 일반이며, 다음 문맥 자유입니까?
다음 연습 문제를 해결해야합니다. 만약 에 문맥이없고 이 규칙적이라면 (즉, 오른쪽 몫 )은 문맥이 없습니다.엘LL아르 자형RRL / R = { w ∣ ∃ x ∈ R성w x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} 을 허용하는 PDA 와 을 허용하는 …
4
오른쪽 및 왼쪽 연관 제품이 동일한 단어
Hopcroft와 Ullman 의 책을 사용하여 비 결정적 오토마타를 연구하기 시작했습니다 . 매우 흥미로운 문제에 갇혀 있습니다. 다음 표에 따라 곱하여 왼쪽에서 오른쪽으로 오른쪽에서 왼쪽으로 평가할 때 동일한 값을 갖는 모든 문자열을 허용하는 비 결정적 유한 자동 오토 마톤을 제공하십시오. ×ㅏ비씨ㅏㅏ씨비비ㅏㅏ씨씨씨비ㅏ×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a & b & c \\ \hline …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.