«formal-languages» 태그된 질문

다음 언어 컨텍스트는 무료입니까? L = { u x v y∣ u , v , x , y∈ { 0 , 1 }+, | u | = | v | , u ≠ v , | x | = | 와이| ,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

정규식에 대한 추측은 다음과 같습니다. 정규식 경우 길이괄호와 연산자를 무시하고 그 안에있는 기호의 수 여야합니다. 예 :RRR|R||R||R||0∪1|=|(0∪1)∗|=2|0∪1|=|(0∪1)∗|=2|0 \cup 1| = |(0 \cup 1)^*| = 2 추측 : 만약 및 은 모든 길이의 문자열이하이면 입니다.|R|>1|R|>1|R| > 1L(R)L(R)L(R)|R||R||R|L(R)=Σ∗L(R)=Σ∗L(R) = \Sigma^* 즉, 이 의 길이 까지 '밀도' 이면 실제로 모든 것을 생성합니다.L(R)L(R)L(R)RRRRRR 관련이있는 …

25 formal-languages  regular-languages  regular-expressions 

나는이 질문에 대한 답을 인터넷을 둘러 보았고 모두가 나를 제외하고 대답을 암시 적으로 알고있는 것처럼 보입니다. 아마도 이것은 관심있는 유일한 사람들이 주제에 대한 고등 교육을받은 사람들이기 때문일 것입니다. 반면에 나는 고등학교 과제를 위해 깊은 곳에서 던져졌습니다. 제 질문은 프로그래밍 언어가 공식 언어와 얼마나 정확하게 관련되어 있습니까? 내가 읽는 모든 곳에서 …

25 formal-languages  programming-languages  regular-expressions 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 6 년 전에 이주했습니다 . 나는 재귀적이고 재귀 적으로 열거 가능한 언어에 대한 많은 정의를 보았습니다. 그러나 나는 그들이 무엇인지 이해할 수 없었다. 어떤 사람들이 간단한 단어로 무엇인지 말해 줄 수 …

24 formal-languages  computability  turing-machines 

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

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

구성주의 논리는 배제와 더불어 배제 된 중간의 법칙을 공리로 제거하는 시스템입니다. Wikipedia에 여기 및 여기 에 설명되어 있습니다 . 특히, 시스템은 모순에 의한 증거를 허용하지 않습니다. 궁금한 점이 있는데, 이것이 튜링 머신 및 공식 언어와 관련된 결과에 어떤 영향을 미치는지 알고 있습니까? 언어가 결정 불가능하다는 거의 모든 증거는 모순에 의한 …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

회 문의 언어 인 EPAL은 다음과 같은 명확한 문맥없는 문법에 의해 생성 된 언어로 정의됩니다. S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b EPAL은 많은 파싱 알고리즘의 '베인'입니다. 언어를 설명하는 문법을 파싱 할 수있는 명확한 CFG에 대한 파싱 알고리즘은 아직 …

23 formal-languages  formal-grammars  parsers 

제목에서 알 수 있듯이 지난 주말 에는 패턴 내에서 임의의 코드를 실행할 수있는 일치 연산자를 제외하고 Perl 호환 정규 표현식과 일치하는 언어 클래스에 대해 생각하기 위해 몇 시간을 보냈습니다 . 당신이 무엇을 PCREs 모르는 경우, 읽어 보시기 바랍니다 이 와 이 . 문제는 인터넷에서 사용할 수있는 리소스가 컨텍스트가없는 언어에서 거의 …

23 formal-languages  regular-expressions 

공식 문법을 제공하여 공식 언어를 지정하는 것은 빈번한 작업입니다. 언어를 설명 할뿐만 아니라 언어를 구문 분석하거나 적절한 과학을 수행 하기 위해서는 문법이 필요합니다 . 모든 경우에 필요한 문법이 정확해야합니다 . 즉, 원하는 단어를 정확하게 생성하는 것입니다. 문법이 왜 원하는 언어를 적절히 표현하고 공식적인 증거를 생략했는지에 대한 높은 수준의 논쟁을 종종 …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

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

22 formal-languages  automata  computability  undecidability 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 문법 계층뿐만 아니라 일반적인 언어 (문자열 집합)를 설명하는 수학적 이론을 찾고 있습니다.

22 formal-languages  formal-grammars 

컴퓨터 계산 모델을 고려할 때, Chomsky 계층 구조는 일반적으로 유한 자동 마타, 푸시 다운 자동 마타, 선형 바운드 자동 마타 및 튜링 머신으로 구성됩니다. 첫 번째 수준과 마지막 수준 1 (일반 언어 및 재귀 적으로 열거 가능한 언어)의 경우 결정적 또는 비 결정적 기계를 고려하는지 여부, 즉 DFA가 NFA와 같고 …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

문맥이없는 언어는 보완 없이 닫히지 않습니다 . 내가 이해 하는 한 , 일부 문자 a , b 의 의 일부인 문맥없는 언어는 보완 (!?)으로 닫힙니다.ㅏ※비※a∗b∗a^*b^*a , ba,ba,b 여기 내 주장이 있습니다. 각 CF 언어 엘LL 에는 반 선형 Parikh 이미지 π( L ) = { ( m , n ) …

20 formal-languages  reference-request  context-free  closure-properties 

Wikipedia 에는 일반 언어에 대한 펌핑 보조 정리에 대한 다음 정의가 있습니다 ... LLL 정규 언어로 하자 . 이어서 정수 존재 ppp ≥ 1에만 따라 LLL 그러한 모든 문자열 것을 www 에 LLL 이상의 길이 ppp ( ppp 은 "펌핑 길이"라고한다)가과 같이 쓸 수있다 www = xyzxyzxyz , 즉 ( …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

사용자 정의 도메인 특정 언어를 구문 분석하고 싶습니다. 이 언어는 일반적으로 수학 표기법에 가깝습니다 (자연어를 구문 분석하지 않습니다). 사용자는 다음과 같이 BNF 표기법으로 DSL을 정의합니다. expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr like like 입력은 1 + ( 2 * 3 )승인되어야하고, …

20 formal-languages  parsers  compilers