«automata-theory» 태그된 질문

추상 기계, 문법, 파싱, 문법 추론, 변환기 및 유한 상태 기술을 포함한 오토마타 이론

11
유한 한 오토마타를 공부 한 후에 달성해야하는 깨달음은 무엇입니까?
나는 계산을 위해 재미를 위해 계산 이론을 수정 해 왔으며이 질문은 잠시 동안 잔소리가났다. "왜"정확히 결정 론적 및 비결정론 적 유한 오토마타 (DFA / NFA)를 연구 하는가? 그래서 다음은 독백 후에 나왔지만 여전히 'aha'순간에 대한 전반적인 기여를 보지 못한 답변입니다. 그들이 무엇이며 제한이없는 것을 연구하기 위해 왜? 그것들은 이론적 계산의 …

5
Chomsky 계층은 구식입니까?
Chomsky (–Schützenberger) 계층은 이론적 컴퓨터 과학 교과서에 사용되지만 전체 복잡도 동물원 다이어그램 과 비교했을 때 공식 언어 (REG, CFL, CSL, RE)의 아주 작은 부분 만 포함합니다 . 계층 구조가 더 이상 현재 연구에서 어떤 역할을합니까? cstheory.stackexchange에서 Chomsky에 대한 언급은 거의 없었으며 Complexity Zoo 에서는 Chomsky와 Schützenberger라는 이름이 전혀 언급되지 않았습니다. …

10
실제 컴퓨터는 한정된 수의 상태 만 가지고 있으므로 Turing 기계와 실제 컴퓨터의 관련성은 무엇입니까?
실제 컴퓨터에는 메모리가 제한되어 있고 유한 한 수의 상태 만 있습니다. 그래서 그들은 본질적으로 유한 한 오토마타입니다. 이론적 인 컴퓨터 과학자들이 왜 튜링 머신 (및 기타 동등한 모델)을 사용하여 컴퓨터를 연구합니까? 실제 컴퓨터와 관련하여 훨씬 강력한 모델을 연구하는 요점은 무엇입니까? 유한 오토마타 모델이 충분하지 않은 이유는 무엇입니까?

9
비결정론과 무작위성의 차이점은 무엇입니까?
나는 최근에 이것을 들었다- "비결정론 적 머신은 확률 론적 머신과 동일하지 않다. 비결정론 적 머신은 전환에 대한 확률이 알려지지 않은 확률 론적 머신이다." 마치 요점을 얻는 것처럼 느껴지지만 실제로는 그렇지 않습니다. 누군가 나에게 이것을 설명 할 수 있습니까 (기계의 맥락에서 또는 일반적으로)? 편집 1 : 명확히하기 위해 인용은 유한 오토 …

14
오토마타 이론은 얼마나 실용적입니까?
이론적 인 컴퓨터 과학과 관련된 주제에 응용하는 방법은 항상 있습니다. 그러나 교과서와 학부 과정은 일반적으로 오토마타 이론이 중요한 주제 인 이유와 여전히 실제 응용 프로그램이 있는지 여부를 설명하지 않습니다. 따라서 학부생들은 오토마타 이론의 중요성을 이해하는 데 어려움을 겪고 더 이상 실용적이지 않다고 생각할 수 있습니다. 오토마타 이론은 여전히 ​​실용적입니까? 학사 …

6
정규 표현식은 그렇지 않습니다
컴퓨터 과학에 대한 경험이있는 사람에게도 정규 표현이 무엇인지 물어 보면 유한 상태 오토 마톤에 도달해야한다는 제약을 넘어 설 가능성이 높습니다. 예를 들어“정규 표현식” /^1?$|^(11+?)\1+$/ 유명한 Perl 성격 자인 Abigail (및 2002 년 이후 Perl의 테스트 스위트의 일부 )은 복합 단항 수만 허용하지만 Peter Linz의 제 3 판 공식 언어 및 …


1
비이성적 오토마타 및 언어의 합리적 계층 구조 인 Eilenberg의 현재 위치는 어디입니까?
그의 영향력있는 저서 인 Automata, Languages ​​and Machines (볼륨 A, B)의 서문에서 Samuel Eilenberg는 볼륨 C와 D가 "비이성적 현상의 계층 구조 (합리적 계층 구조라고 함)를 다루는 것을 합리적으로 약속했습니다. 합리적 세트는이 계층 구조의 맨 아래에있다 위로 올라가면 '대수 현상'이 생겨나 고, 이는 "Chomsky의 문맥이없는 문법과 문맥이없는 언어 및 여러 관련 …

2
{ } 컨텍스트에 맞지 않습니까?
언어 { }에 컨텍스트가 없습니까?에이나는비j기음케이 | i≠j,i≠k,j≠k aibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k 나는이 질문의 거의 모든 변형을 i, j 및 k 사이의 관계에 대해 다른 조건으로 만났음을 알았습니다. 내 생각 엔 문맥에 맞지 않지만 증거가 있습니까?

4
정규식을 효율적으로 일치시킬 수있는“작은”기계가 있습니까?
정규식은 정규식에 비례하는 크기의 비결정론 적 유한 오토 마톤 또는 잠재적으로 기하 급수적으로 큰 결정 론적 FA에 의해 인식 될 수 있다는 것이 잘 알려져있다. 또한 문자열 와 정규식 주어지면 NFA는, DFA는. NFA의 둔화는 본질적으로 우리가 오토 마톤에있을 수있는 가능한 상태 세트를 추적해야한다는 사실과 DFA의 기하 급수적 인 증가는 그 …


2
주어진 두 개의 문자열을 수락하는 DFA는 몇 명입니까?
정수 과 알파벳 . 을 시작 상태 1의 개 상태에서 모든 유한 상태 오토마타의 수집으로 정의합니다 . 우리는 모든 DFA (단순 또는 비 변성 상태가 아닌)를 고려하고 있습니다. 따라서 입니다.n Σ = { 0 , 1 }nnΣ={0,1}\Sigma=\{0,1\}DFA(n)DFA(n)DFA(n)nnn|DFA(n)|=n2n2n|DFA(n)|=n2n2n|DFA(n)| = n^{2n}2^n 이제 두 개의 문자열 x,y∈Σ∗x,y∈Σ∗x,y\in\Sigma^* 하고 K(x,y)K(x,y)K(x,y) 를 x 와 y …

2
NFA 보편성 조건
비 결정적 유한 오토마타 및 함수 . 또한 합니다.A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i 이제 다음 문장을 분석해 보자. 만약 후, .Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* 그것은 대한 것으로 쉽게 보여주는 것이다 이 오토마타가 개까지 길이가 모든 단어를 생성 따라서 경우에 해당하는 …

4
정지 문제가 결정 불가능한 튜링 완료 계산 모델이 있습니까?
나는 그런 모델, 아마도 어떤 형태의 람다 미적분학을 생각할 수 없습니까? 초등 세포 오토 마톤? 이것은 Wolfram의 "전산 동등성의 원리"를 거의 반증 할 것이다 : 명백히 단순하지 않은 거의 모든 프로세스는 동등한 정교함의 계산으로 볼 수 있습니다


당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.