컴퓨터 과학에 대한 경험이있는 사람에게도 정규 표현이 무엇인지 물어 보면 유한 상태 오토 마톤에 도달해야한다는 제약을 넘어 설 가능성이 높습니다. 예를 들어“정규 표현식” /^1?$|^(11+?)\1+$/ 유명한 Perl 성격 자인 Abigail (및 2002 년 이후 Perl의 테스트 스위트의 일부 )은 복합 단항 수만 허용하지만 Peter Linz의 제 3 판 공식 언어 및 …
누군가이 연구 분야의 관계가 무엇인지 명확히하려고하거나 도전 수준에서 좀 더 구체적으로 답변하려고합니까? 어느 것이 널리 받아 들여진 일부 제형을 가정 한 것을 포함한다. 내가 이것을 올바르게 받으면 SAT에서 SMT로 갈 때 기본적으로 CSP 필드에 들어갑니다. 반대로 CSP를 부울로 제한하면 기본적으로 SAT와 #SAT와 같은 몇 가지 관련 문제에 대해 이야기하는 것입니다. …
최근 몇 가지 질문 ( q1 q2 )에서, "이론 A"와 "이론 B"에 대한 논의가 있었으며, 논리와 프로그래밍 언어에 대한 연구와 알고리즘과 복잡성에 대한 연구를 구분하는 것으로 보입니다. 이 용어는 나에게 새로운 것이었고, 빠른 웹 검색에는 그것을 설명하는 명백한 참고 문헌이 나오지 않았습니다. 이 용어의 기원을 설명하는 참조 또는 참조를 아는 …
Lambda the Ultimate에 대한 응답 이 없었기 때문에 여기서 다시 시도합니다. 예를 들어 용어 재 작성 시스템 은 자동 계산에서 상징적 계산을 입증하고 물론 공식 문법을 정의하는 데 사용됩니다. 다시 쓰기라는 용어를 기반으로 한 프로그래밍 언어가 있지만 개념을 더 잘 이해하는 한 패턴 일치라고 합니다. 패턴 일치는 기능적 언어에서 많이 …
가장자리가 자연적인 숫자로 꾸며진 지시 그래프 가져 가십시오 . 경로의 각 연속 모서리가 이전 모서리를 장식하는 자연수보다 큰 자연수로 장식되도록 두 정점 과 사이 의 모든 경로 세트를 원합니다 .지지G피피PV1V1v_1V2V2v_2 이를위한 응용 프로그램은 버스 또는 기차 일정입니다. 역 간의 환승을 기반으로 두 도시 사이의 다른 경로를 결정하려는 경우. (첫 번째 …
컴퓨터 과학의 놀라운 점 중 하나는 물리적 구현이 어떤 의미에서 "부적절하다"는 것입니다. 사람들은 릴레이, 진공관, 이산 트랜지스터 등과 같은 여러 가지 기판으로 컴퓨터를 성공적으로 구축했습니다. 곧 비선형 광학 재료, 다양한 생체 분자 및 기타 기판으로 Turing-complete 컴퓨터를 만드는 데 성공할 수 있습니다. 원칙적으로 당구 공 컴퓨터 를 구축하는 것이 가능해 …
이 질문은 제안 논리에 관한 것이며 모든 "해상도"는 "제안 해결"로 읽어야합니다. 이 질문은 매우 기본적인 것이지만 잠시 동안 나를 귀찮게했습니다. 나는 사람들이 건의안 해결이 완료되었다고 주장하지만, 또한 사람들은 해결이 불완전하다고 주장합니다. 나는 결의가 불완전하다는 의미를 이해한다. 또한 사람들이 그것이 완전하다고 주장하는 이유를 알지만 "완료"라는 단어는 자연적인 추론이나 그에 따른 미적분학을 …
나는 오랫동안 (1) NP-hard이고 (2) NP에 있으면 문제가 NP-complete라고 생각했다. 그러나 유명한 논문 "타원체 방법과 조합 최적화의 결과" 에서 저자들은 소수 색수 문제가 NP에 속하고 NP-hard이지만 NP- 완전한 것으로 알려져 있지 않다고 주장합니다. 논문의 세 번째 페이지에서 저자는 다음과 같이 씁니다. ... 그래프의 꼭짓점-포장 문제는 분수 색수 문제와 같은 의미로,이 …
현재 Alan Kays의 연설을 듣고 있습니다. "정말 복잡하거나 복잡하게 만들었습니까?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) 그는 "세마포어는 나쁜 생각했다 및 우수 하였다 의사 시간이라고 뭔가가 있었다"(링크 된 비디오에 51:40에서이)라고 말한다 곳. 어쩌면 "의사 시간"이라는 단어를 잘못 이해했을 수도 있지만, 그에 대해 아는 것이 있습니까?