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

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

1
L (M)이 DCFL에있는 PDA M이 주어지면 L (N) = L (M)이되도록 DPDA N을 구성하십시오.
이것은 입력으로서 취 알고리즘을 구성 할 수있다 푸시 다운 오토 마톤 이 오토 마톤 수락 언어한다는 약속과 함께 결정적 문맥 자유 언어이고 출력 결정적 푸시 마톤 정확하게 언어를 허용 받아 에 의해 ?MMML(M)L(M)L(M)NNNMMM 동등한 문제는 입력으로 푸시 다운 오토마타 ( 이 위와 같이 결정적 이라는 약속 )과 결정 론적 푸시 …
2
패턴 미적분학이 언어로 한 단계 발전 했습니까? 아니면 LISP로 돌아가고 있습니까?
배리 제이는 자신의 저서 에서 대담한 주장을한다. 기본적으로 프로그램의 핵심에서 모든 것이 원자 적이거나 구성되었다고 말함으로써. 그런 다음이 컴포지션 관계를 탐색하여 쉽게 반복, 필터링, 업데이트 할 수 있습니다. 이것이 컴퓨터 언어에 대한 컴퓨터 과학 의 새로운 개척 인가? 아니면 우리는 다시 LISP로 돌아가고 있는가?
1
확률 적 오토마타 소개
확률 적 오토마타에 대한 소개와 그들이 인식하는 것 (단어에서 까지의 특정 기능)은 어디에서 찾을 수 있습니까 ? 결정적 유한 오토마타 (DFA)가 인식하는 "일반 언어"와 유사한 확률 적 오토마타에 의해 인식되는 이러한 기능에 대한 표준 용어가 있습니까?[ 0 , 1 ][0,1][0,1] DFA 및 표현력, 폐쇄 및 결정 가능성 속성과 같은 일반 …
2
단어 목록 분리
분리 문제로 알려진 공식 언어에는 개방 된 문제가 있습니다. 이것은 길이 의 두 개의 별개의 문자열이 주어 졌을 때 간단히 언급되는데 , 얼마나 많은 DFA가 그것들을 "분리"해야하는지에 따라 한 문자열은 받아들이지 만 다른 문자열은 거절한다는 의미입니다.nnn 다음은 관련 논문 1 , 2 입니다. (몇 개 더 있지만 게시 할만한 평판이 …
2
단어 (즉, 무한 단어)를 받아들이는 오토마타 최소화
Büchi-Automata (또는 Müller-Automata)를 최소화하기위한 표준 접근법은 무엇입니까? 유한 단어에서 일반적인 기술을 이전하는 것, 즉 받아 들여진 상태에서 "실행 중"이라는 단어가 동일한 경우 두 상태를 동일하게 설정하면 작동하지 않습니다. 예를 들어 Büchi-Automoton이 초기 상태와 최종 상태의 두 가지 상태로 구성된 무한한 수의 a를 가진 모든 단어를 받아들이고 a를 읽을 때마다 최종 …
1
뒤집을 수있는 타르타르?
이 질문은 알려진 가역 튜링 타르 타프가 있는지 여부에 관한 것인데, 여기서 "가역적"은 Axelsen과 Glück 의 의미를 의미 하며, "타르 타트"는 훨씬 더 비공식적 인 개념이며 단어의 선택이 좋지 않을 수 있습니다. 그러나 나는 그것이 의미하는 바를 설명하기 위해 최선을 다할 것입니다. "타르 타트"의 의미 일부 계산 모델은 어떤 식 …
2
선형화가 왜 안전 속성이고 안전 속성이 폐쇄 세트입니까?
Nancy Lynch의 "분산 알고리즘"책의 13 장 "원자 개체"에서 선형성 (원 자성이라고도 함)은 안전 속성으로 입증되었습니다. 즉 , 8.5.3 절에 정의 된대로 해당 추적 특성이 비어 있지 않고 접두사로 닫히고 한계로 닫힙니다 . 비공식적으로, 안전 속성은 종종 특정 "나쁜"일이 결코 발생하지 않는다고 말하는 것으로 해석됩니다. 이를 바탕으로 첫 번째 문제는 다음과 …
2
언어를 생성하는 가장 작은 부울 회로
길이가 인 이진 문자열의 비어 있지 않은 언어 을 고려하십시오 . I는 설명 할 수 부울 회로와 와 입력과 하나 개의 출력되도록 에만 true 인 이 공지이다.엘LLnnnLLLCCCnnnC(w)C(w)C(w)w∈Lw∈Lw \in L 그러나 출력을 가진 부울 회로 와 과 같은 특정 수의 입력으로 을 표현하고 싶습니다. 따라서 가능한 입력 각각에 대한 의 출력 …
2
주목할만한 정규 표현 오토마타의 분류
특정 도메인에서 복잡도 속성에 대한 경험적 테스트를 수행하기 위해 정규 표현식을 오토마타로 변환하는 알고리즘 분류법을 작성하려고합니다. 나는 몇 가지 '더 큰'이름을 알고 있습니다. 톰슨 "정규 표현식 검색 알고리즘", 1968 년 톰슨 글루시 코프 "정규 표현식을 오토 마톤으로 변환하는 새로운 이차 알고리즘", Ponty 등. 알, 1996 안티 미 로프 "정규 표현과 …
5
오토마타 이론 / 공식 언어 논문 주제
모두 안녕하세요, 저는 현재 일부 자동화 이론의 일부 또는 공식 언어와 관련된 견고한 석사 논문 주제를 찾으려고 노력하고 있습니다. 나는 수용 가능한 주제가 무엇인지, 야심은 있지만 동시에 할 수있는 것에 대한 좋은 아이디어를 만들어 내려고 노력하고 있습니다. 어떤 제안이라도 대단히 감사하겠습니다!
1
머리를 가진 유한 상태 오토마타는 어떤 종류의 언어를 인식 합니까?
DFA 또는 NFA는 단일 헤드가있는 입력 문자열을 통해 왼쪽에서 오른쪽으로 읽습니다. 여러 개의 헤드 를 가진 유한 상태 기계에 대해 궁금해하는 것은 당연한 것으로 보입니다 . 각 헤드 는 왼쪽에서 오른쪽으로 입력을 통해 이동하지만 입력에서 다른 곳과 반드시 ​​같은 위치에 있지는 않습니다. 다음과 같이 헤드가 있는 유한 상태 머신을 정의하겠습니다 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.