표현식 프로그래밍

Question

모든 표현식을 평가하고 그래프로 작성하는 완전한 계산기를 만들었습니다. 나는 또한 수식 w.r.t.를 정확하게 구별하는 상징적 인 구분 기호을 만들었습니다. x하지만 답장이 많은 배수로 나오기 때문에 프로그래밍 방식으로 일반적인 방정식을 단순화하는 방법에 대해 약간 분실되어 있습니다. 나는 * 1이 쉽게 단순화된다는 것을 알지만 모든 상황을 커버하기 위해 모든 라운드 단순화기를 필요로한다.

Answer 1

단순화를 정규화의 한 형태로 생각합니다. 아마 당신이 구현 할 수 있습니다 첫 번째 것은 다항식의 단순화 :

• 계산 X이 유일하게 유효한 변수가 당신을 위해하지 않는 한 변수의 순서를 정의하는 모든
• 에서 어떤 변수를 포함하지 않는 모든 하위 표현식 변수들은 변수의 순서에 따라
• 정의 A에 대한 고려
• 차항을 변수와도 얻어 monomials하는 순서에있어서의 monomials
• 차항 다항식 자신의 monomials에 따라
• 당신은 또한 기능을 포함하는 표현을 단순화하려면 제로

을 판명 모든 monomials을 제거 중복 monomials를 확인하고 자신의 계수

을 결합, 상황이 임의의 복잡한 될 수 있습니다. 일반적으로 용어의 단순성을 측정하기위한 몇 가지 방법을 정의하려고합니다. 즉, 두 용어가 주어지면 둘 중 어느 것이 더 간단한지를 결정합니다. 그런 다음 규칙을 생각해보고 용어를 더 간단하게 만들 수 있는지 여부를 확인할 수 있는지 확인하십시오. 해지 (즉, 단계가 무한히 많으면 간단해질 수있는 방법이 없음)와 합류 (즉, 가능한 두 가지 단순화가있는 경우 다음 중 어느 것을 수행할지는 중요하지 않습니다. 최종 결과는 동일합니다).

term rewriting, rewrite systems 및 관련 주제에 관한 자료를 읽어 볼 수 있습니다.