«fl.formal-languages» 태그된 질문

공식 언어, 문법, 오토마타 이론

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

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

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

4
최소 정규 표현식을 찾는 것이 NP-complete 문제입니까?
다음과 같은 문제를 생각하고 있습니다. 특정 문자열 집합 (예 : 유효한 전자 메일 주소)과 일치하고 다른 문자열과 일치하지 않는 (잘못된 전자 메일 주소) 정규식을 찾고 싶습니다. 정규식으로 정의 된 유한 상태 기계를 의미한다고 가정하면, 정확한 용어에 익숙하지 않지만 허용되는 표현 클래스에 동의합시다. 수동으로 표현식을 작성하는 대신 긍정적이고 부정적인 예를 제시하고자합니다. …

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
가장 강력한 종류의 파서는 무엇입니까?
부수적 프로젝트로 파이썬을 사용하여 언어를 작성하고 있습니다. 나는 Ply라는 flex / bison 클론을 사용하여 시작했지만, 그 스타일의 문법으로 표현할 수있는 것의 힘에서 우위에 섰습니다. 도구. 그러므로 나는 내 자신을 쓰는 것을 싫어하지 않습니다. 가장 강력한 파서 유형은 무엇입니까? 논문에 대한 인용 (더 많은 입문 기사)도 환영합니다. ( '강력한'은 정확하게 정의되어 …

1
크기의 나무의 평균 높이 가 또는 가 아닌 일반 트리 언어가 있습니까?
우리는 TATA 책에서와 같이 규칙적인 트리 언어 를 정의합니다 . 그것은 비결정론 적 유한 트리 오토 마톤 (1 장)에 의해 허용되는 나무들의 집합입니다. 두 형식주의는 잘 알려진 끈 유사체와 유사하다. 크기의 나무의 평균 높이 가 또는 가 아닌 일반 트리 언어가 있습니까?Θ ( n ) Θ ( √nnnΘ(n)Θ(n)\Theta(n)Θ(n−−√)Θ(n)\Theta(\sqrt{n}) 분명히 나무의 …

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