«automata» 태그된 질문

Turing Machine이 "모든 가능한 수학적 문제"를 수행 할 수 있다는 데 동의합니다. 그러나 그것은 단지 알고리즘의 기계적인 표현이기 때문입니다. 먼저 이것을 수행 한 다음 그렇게하고 결국 그것을 출력하십시오. 나는 해결할 수있는 것은 알고리즘으로 표현 될 수 있음을 의미합니다 (정확하게 '해결 가능'의 정의이기 때문에). 그것은 단지 타우 톨 로지 일뿐입니다. 나는 …

54 algorithms  turing-machines  automata  computation-models 

언어가 규칙적이지 않다는 것을 증명하는 방법이 많이 있지만, 어떤 언어 가 규칙적 이라는 것을 증명하려면 어떻게해야 합니까? 예를 들어, 이 규칙적이라고한다면 다음 도 규칙적 임을 어떻게 증명할 수 있습니까?LLLL′L′L' L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}\qquad \displaystyle L' := \{w \in L: uv = w \text{ for } …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

최소 힙 오토마타의 정의에 대한 설명은이 게시물의 끝 부분을 참조하십시오. 상태 머신이 사용하기위한 정보를 저장하기 위해 다양한 데이터 구조를 사용하는 것을 상상할 수 있습니다. 예를 들어 푸시 다운 오토마타는 정보를 스택에 저장하고 튜링 머신은 테이프를 사용합니다. 대기열을 사용하는 상태 머신과 두 개의 다중 스택 또는 테이프를 사용하는 상태 머신은 튜링 …

44 formal-languages  automata 

에서 이 대답 은 언급 유한 언어로 정규 언어를 인식 할 수 있습니다. 컨텍스트가없는 언어는 스택을 필요로하고, 문맥에 민감한 언어는 두 스택을 (말에 해당하는이 전체 튜링 기계가 필요)가 필요합니다 . 위의 대담한 부분의 진실에 대해 알고 싶었습니다. 사실입니까? 이에 대한 답변을 얻는 좋은 방법은 무엇입니까?

41 computability  turing-machines  automata  pushdown-automata 

결정 론적 푸시 다운 오토 마톤에 의해 수용 될 수있는 경우에만 문맥없는 언어 결정론을 호출하고 그렇지 않으면 비결정론 적이라고하자. 언어를 생성하는 모든 문맥이없는 문법이 모호하고 그렇지 않으면 모호하지 않은 경우에만 문맥이없는 언어를 본질적으로 모호하게하자. 결정적이고 모호하지 않은 언어의 예는 다음과 같은 언어입니다. 비결정적이고 명확한 언어의 예는 다음과 같은 언어입니다. { …

36 formal-languages  automata  formal-grammars  pushdown-automata 

오토마타 이론에서, 우리는 처음부터 오토마타를 유한 오토마타로 읽습니다. 내가 알고 싶은 것은 오토마타가 왜 유한 한가? 명확하게 말하면, 알파벳, 언어, 정규 표현식으로 만든 문자열 또는 무엇입니까? 그리고 (이론적으로) 무한한 오토마타가 있습니까?

35 automata  finite-automata 

에 있다고 보는 촘스키 계층 구조 유형 3 언어없는 외부 메모리 (즉, 유한 자동 장치)에있어서 A 상태 머신에 의해 2 유형의 상태 머신에 의해 인식 될 수있는 하나의 스택 (즉, 기계적 푸시 다운)에 의해 0을 입력 두 개의 스택 (또는 Turing Machine의 경우와 마찬가지로 테이프)이 있는 상태 머신 의 경우 …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

모든 LTL 공식이 Büchi -automaton 으로 표현 될 수 있다는 것은 알려진 사실입니다 . 그러나 Büchi automata는 더욱 강력하고 표현력있는 모델입니다. 나는 Büchi automata가 선형 시간 μ - calculus와 같습니다 (즉, 일반적인 고정 소수점을 가진 μ- calculus와 하나의 시간 연산자 : X )와 같습니다.ωω\omegaμμ\muμμ\muXX\mathbf{X} 이 동등성의 알고리즘 (구조적 증거)이 있습니까?

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

한 쌍의 세트가 있습니다. 각 쌍은 x, y가 범위의 정수에 속하도록 (x, y) 형식 [0,n)입니다. 따라서 n이 4이면 다음 쌍이 있습니다. (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) 이미 쌍이 있습니다. 이제 n/2정수를 반복하지 않도록 쌍을 사용하여 조합을 만들어야합니다 (즉, 각 정수는 적어도 마지막 조합에서 한 번 이상 나타납니다). 다음은 더 …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Stack Overflow에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 정규 표현식을 가져와 구문 분석 트리를 생성하기 위해 간단한 정규 표현식 lexer 및 구문 분석기를 작성했습니다. 이 구문 분석 트리에서 비 결정적 유한 상태 오토 마톤을 작성하는 것은 기본 정규 …

26 automata  finite-automata  regular-expressions 

우리는 DFA가 표현력면에서 NFA와 동등하다는 것을 알고 있습니다. NFA를 DFA로 변환하는 알려진 알고리즘도 있습니다 (불행히도 이제는 해당 알고리즘의 발명자를 알고 있습니다). 최악의 경우 NFA에 상태 가있는 경우 상태가됩니다 . S2S2S2^SSSS 내 질문은 : 최악의 시나리오를 결정하는 것은 무엇입니까? 다음은 모호한 경우 알고리즘의 전사입니다. 하자 NFA 될. 여기서 DFA .A ′ …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

오토 마톤은 디지털 컴퓨터의 추상 모델입니다. 디지털 컴퓨터는 완전히 결정적입니다. 그들의 상태는 언제든지 입력과 초기 상태에서 유일하게 예측할 수 있습니다. 실제 시스템을 모델링하려고 할 때 오토마타 이론에 비결정론을 포함시키는 이유는 무엇입니까?

23 automata  nondeterminism  applied-theory 

문맥이없는 문법 G가 주어지면, G가 받아들이는 언어를 정확하게 받아들이는 비 결정적 푸시 다운 오토 마톤 N이 있습니다. (그리고 비자도 마찬가지) G가 받아들이는 언어를 정확하게 받아들이는 결정 론적 푸시 다운 오토 마톤 D도 있을 수 있습니다. 문법에 따라 다릅니다. G의 생성에 대해 어떤 알고리즘으로 D가 존재하는지 확인할 수 있습니까?

22 automata  context-free  pushdown-automata 

결정할 수없는 "자연"언어가 있습니까? "자연"이란 기계와 그에 상응하는 것이 아니라 문자열의 속성에 의해 직접 정의 된 언어를 의미합니다. 즉, 같은 언어 보이면 TM, DFA (또는 정규 EXP), PDA (문법) 인, 등등, 그 다음 자연스럽지 않습니다 . 그러나 는 자연 스럽습니다.L = { ⟨ M⟩ ∣ … }L={⟨M⟩∣…} L = \{ …

22 formal-languages  automata  computability  undecidability