프로그래밍의 공식적인 기초에 대해 배우고 있습니다. 우리가 다루었던 것들 중 하나는 언어의 특정 속성을 증명하는 것이고, 나는 대부분의 일을 해왔습니다. 그러나 나는이 두 가지 질문에 집착하고 있습니다. 그들을 증명하는 방법을 몰라. 다음 그들이 : ^(B^C) = (A^B)^C (I 믿어 연관 규칙 임) ^(BUC) = (A^B) U (A^C) (분배 법
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
언어 일반 언어가 아닌 반 정규 문법의 예를 준다. 언어가 무엇이
최근에 Excel 매크로를 작성하려고했지만 특정 워크 시트의 존재 여부를 확인해야했습니다. 스크립팅에 대한 나의 선택의 무기는 파이썬이며 내 VBA 기술은 분명히 가난합니다. 그래서, 좋은 파이썬 스타일로, 나는 권한 접근 방법과보다 용서를 요청하기 쉽게했다이 같은 쓴 : 나는 인쇄 문을 제거하려고 할 때까지 Debug.Print MyWorkbook.Wor
내가 정적 유형과 알골 같은 언어, 다음 코드 조각이 있다고 가정 a이 c 더블 및 d 긴을 부동, b 정수입니다 a := b + c * d;
. 그런 다음 d은 c으로 작동하려면 길게, 으로 변환하면 c*d 결과와 함께 작동합니다. 따라서 그 후 b+c*d의 이중 결과는 float로 변환되어 결과를 a에 할당합니다. 그러나 그것이 일어날 때, 모든 변
나는 Coq를 배우고 있으며 정규 언어 이론, 특히 유한 오토 마타를 형식화하기 위해 이걸 사용하고 싶다. 의는 다음과 같이 내가 오토마타에 대한 구조를 가지고 있다고 가정 해 봅시다 : 상태로 유도 유형 Record automata : Type := {
dfa_set_states : list state;
init_state : state;
end_s
나는 예외를 칠 때까지 내 자신의 OO 언어를 디자인 중이며 행복하게 진행하고있었습니다. 예외가 캡슐화를 깨뜨린 것 같습니다. 예를 들어 클래스 A에 B 클래스의 객체가 있고 B에 C가 있고 C에 X가 있으면 A에 예외가 발생하므로 A의 코드는 X에 대해서뿐만 아니라 B와 C에 대해서도 알고 있어야합니다. 그것 올바르게. C로 바꾸면 예외의 처리기가 호출