수식언어 프로젝트 #2.연결사와 분수로의 확장

출처:https://hub.zum.com/heraldcorp/10037

연결사란?

연결사는 식의 상태를 설명하는 기호를 뜻한다. 그 예시로는 F. , Pre. , Pa. 등이 있다. 만일 연결사는 보통 이러한 방식으로 표기된다.

연결사1.연결사2.연결사3...연결사N.식=...

생각만 해도 정말 복잡하다. 따라서 나는 분수를 사용한 표현방식을 사용하기로 했다.

 

분수표현

(연결사1.연결사2.연결사3...연결사N.식=...)→(식/(연결사1+연결사2+연결사3+...+연결사N)=0)

다음의 방식대로 표현할 수 있다.

이제 연결사들도 소개하고 각 연결사들을 기준에 의해 분류해보도록 하겠다.

 

연결사의 종류

1.F. Pre. Pa. (시간연결사)

이 3개의 연결사는 각각 미래, 현재, 과거 에 대해 설명하기 위해 제작됐다.

'나는 배가 고팠었지만 지금은 그렇지 않다'를 표현한다면

Pa.(나=배가 고픔) og Pre.(∂ANS=0). 로 표현할 수 있다. (Pre. 과 =0은 생략가능)

ANS 와 og 에 대해서는 아래에 첨부되어 있다.

 

2.WL, og, abcd, xyz,... (접속연결사)

위의 연결사들은 그래서, 그러나, 그리고 등의 표현을 나타낼때 쓰이는 연결사이다.

접속연결사의 목적에 따른 분류	추가	그리고(WL), A에 대한 예를 들어(AT.f(a)=...)
	연결(문장과 문장이 연결)	그래서(abcd), 그렇기에(xyz)
	반전(문장 뒤에 ∂문장이 옴)	그러나(og)

※아직 모든 접속연결사를 정의하지 못해 나중에 더 추가하도록 하겠다.

3.ANS (연결^2사)

ANS은 가장 최근에 적힌 식을 지시하는 연결사이다.

다음의 식이 있다.

(A=B)→∂ANS=0

이 식에서는 ANS는 A=B라는 식을 가리킨다.

 

어떤 식을 적든지 간에 시간연결사가 제일 먼저 와야 한다.

시간연결사-접속연결사-연결^2사 순서로 먼저 온다.