language-theory

    2

    1답변

    프로그래밍의 공식적인 기초에 대해 배우고 있습니다. 우리가 다루었던 것들 중 하나는 언어의 특정 속성을 증명하는 것이고, 나는 대부분의 일을 해왔습니다. 그러나 나는이 두 가지 질문에 집착하고 있습니다. 그들을 증명하는 방법을 몰라. 다음 그들이 : ^(B^C) = (A^B)^C (I 믿어 연관 규칙 임) ^(BUC) = (A^B) U (A^C) (분배 법

    1

    1답변

    A "반 일반"문법은 허용 하나 인 형태의 규칙 : X → y X → y Y X → Y y X와 Y는 단일 비 터미널에서 하고, x와 y는 단일 터미널입니다. 는 예를 들어,이 언어는 A에 대한 반 정규 문법이다 + B + S → a S S → a A A → A b A → b 언어 일반 언어가 아닌 반 정규 문법의 예를 준다. 언어가 무엇이

    2

    2답변

    최근에 Excel 매크로를 작성하려고했지만 특정 워크 시트의 존재 여부를 확인해야했습니다. 스크립팅에 대한 나의 선택의 무기는 파이썬이며 내 VBA 기술은 분명히 가난합니다. 그래서, 좋은 파이썬 스타일로, 나는 권한 접근 방법과보다 용서를 요청하기 쉽게했다이 같은 쓴 : 나는 인쇄 문을 제거하려고 할 때까지 Debug.Print MyWorkbook.Wor

    4

    2답변

    "ab"& "ba"와 동일한 수의 하위 문자열을 갖는 알파벳 "a, b, c"이상의 모든 문자열의 언어입니까? 나는 답이 '아니오'라고 생각하지만 공식적인 논증을하기는 어렵다. 접근 방법에 대한 아이디어가 있으십니까?

    0

    2답변

    나는 무한한 언어가 모두 결정 불가능한가? 무한한 언어를 결정하려고하는 TM이 영원히 반복 될 것이기 때문에 TM은 결정자가 아닌 기억 장치가됩니다. 감사합니다.

    -2

    1답변

    일단 수학자가 우리에게 언어가 있다는 조건으로 프로젝트가 가능하다고 말하면. 우리가 언제 우리가 언제 어떻게하는지 알 수있게 도와 줄 수 있습니까? 예와 같이 자동화 된 테스트가 "언어"가 무엇인지 알지 못하는지 여부를 알 수 있습니다. 감사합니다

    5

    2답변

    몇 시간 전 하스켈 확장 (링크를 찾을 수 없음) 중 하나에서 발생했으며 recently in Ur 이름 (예 : 레코드 필드의 이름)이 종류를 형성한다는 것을 알았습니다. 왜 유형 추상화만으로 충분하지 않은지 설명 할 수 있습니까?

    0

    1답변

    내가 정적 유형과 알골 같은 언어, 다음 코드 조각이 있다고 가정 a이 c 더블 및 d 긴을 부동, b 정수입니다 a := b + c * d; . 그런 다음 d은 c으로 작동하려면 길게, 으로 변환하면 c*d 결과와 함께 작동합니다. 따라서 그 후 b+c*d의 이중 결과는 float로 변환되어 결과를 a에 할당합니다. 그러나 그것이 일어날 때, 모든 변

    3

    1답변

    나는 Coq를 배우고 있으며 정규 언어 이론, 특히 유한 오토 마타를 형식화하기 위해 이걸 사용하고 싶다. 의는 다음과 같이 내가 오토마타에 대한 구조를 가지고 있다고 가정 해 봅시다 : 상태로 유도 유형 Record automata : Type := { dfa_set_states : list state; init_state : state; end_s

    2

    3답변

    나는 예외를 칠 때까지 내 자신의 OO 언어를 디자인 중이며 행복하게 진행하고있었습니다. 예외가 캡슐화를 깨뜨린 것 같습니다. 예를 들어 클래스 A에 B 클래스의 객체가 있고 B에 C가 있고 C에 X가 있으면 A에 예외가 발생하므로 A의 코드는 X에 대해서뿐만 아니라 B와 C에 대해서도 알고 있어야합니다. 그것 올바르게. C로 바꾸면 예외의 처리기가 호출