«formal-languages» 태그된 질문

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

4
유한 오토마타를 정규식으로 변환하는 방법?
표준 알고리즘 (예 : Thompson 's algorithm )을 사용하면 정규식을 동일한 언어를 수용하는 (최소) NFA로 쉽게 변환 할 수 있습니다 . 그러나 다른 방향은 더 지루한 것처럼 보이고 때로는 결과 표현이 지저분합니다. NFA를 동등한 정규식으로 변환하기위한 알고리즘은 무엇입니까? 시간 복잡성 또는 결과 크기와 관련하여 장점이 있습니까? 이것은 참조 질문이어야합니다. 방법에 …

5
언어에 컨텍스트가 없음을 증명하는 방법은 무엇입니까?
문맥없는 언어 클래스 에 대해 배웠습니다 C F LCFL\mathrm{CFL}. 그것은 모두 특징 문맥 자유 문법 과 푸시 다운 오토마타 가 주어진 언어는 문맥 자유 것을 보여 쉽게 있도록. 그래도 어떻게 반대를 보여줄 수 있습니까? 내 TA는 그렇게하기 위해 모든 문법 (또는 오토마타)에 대해 현재 사용중인 언어를 설명 할 수 없다는 …

10
언어가 규칙적이지 않다는 것을 증명하는 방법?
우리는 정규 언어 클래스 에 대해 배웠습니다 . 정규 표현식, 유한 오토마타 및 왼쪽 선형 문법 중 하나의 개념이 특징이므로 주어진 언어가 규칙적임을 쉽게 알 수 있습니다.REGREG\mathrm{REG} 그래도 어떻게 반대를 보여줄 수 있습니까? 내 TA는 그렇게하기 위해서는 모든 정규 표현 (또는 모든 유한 한 오토마타 또는 모든 왼쪽 선형 문법)에 …

1
LL과 LR 문법의 언어 이론 비교
사람들은 종종 LR (k) 파서가 LL (k) 파서 보다 강력 하다고 말합니다 . 이 진술은 대부분 모호하다. 특히, 고정 대한 클래스 k케이k또는 모든 대한 결합을 비교해야 k케이k합니까? 상황은 어떻습니까? 특히, 나는 LL (*)이 어떻게 적용되는지에 관심이 있습니다. 내가 아는 한, LL 및 LR 파서가 허용하는 각 문법 세트는 직교이므로 각 …

8
언어가 규칙적임을 증명하는 방법?
언어가 규칙적이지 않다는 것을 증명하는 방법이 많이 있지만, 어떤 언어 가 규칙적 이라는 것을 증명하려면 어떻게해야 합니까? 예를 들어, 이 규칙적이라고한다면 다음 도 규칙적 임을 어떻게 증명할 수 있습니까?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 } …

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


1
알고리즘, 언어 및 문제의 차이점은 무엇입니까?
이 사이트에서 사람들은 종종 "알고리즘"과 "문제"를 혼동하기 위해 다른 사람들을 수정하는 것 같습니다. 이것들의 차이점은 무엇입니까? 알고리즘을 고려하고 문제를 고려해야하는시기를 어떻게 알 수 있습니까? 그리고 이것이 공식 언어 이론의 언어 개념과 어떤 관련이 있습니까?

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

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

2
왜 일반 언어가 '일반'입니까?
난 그냥의 첫 번째 챕터 완료 한 계산의 이론 소개 에 의해 마이클 십서 유한 오토마타의 기본 사항을 설명합니다. 그는 정규 언어를 유한 오토마타로 설명 할 수있는 것으로 정의합니다. 그러나 나는 왜 정규 언어가 "정규"라고 불리는지를 설명 할 수 없었습니다. 이 문맥에서 "정규"라는 용어의 기원은 무엇입니까? 참고 : 나는 초보자이므로 …

2
C의 void 유형이 빈 / 하단 유형과 유사하지 않은 이유는 무엇입니까?
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 


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

2
언어에 컨텍스트가 없음을 증명하는 방법은 무엇입니까?
있습니다 많은 기술 언어임을 증명 하지 문맥 자유는 있지만, 어떻게 언어는 것을 증명 할 것이다 문맥 자유? 이것을 증명하기 위해 어떤 기술이 있습니까? 분명히, 한 가지 방법은 언어에 대해 문맥이없는 문법을 보여주는 것입니다. 주어진 언어에 대해 문맥이없는 문법을 찾는 체계적인 기술이 있습니까? 일반 언어의 경우,이 있는 체계적인 방법으로 일반 문법 …

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