Sub:
term_rewriting =,term_rewriting =,term_rewriting . term_rewriting
term_rewriting_system TRS =,TRS . {
https://mathworld.wolfram.com/TermRewritingSystem.html https://en.wikipedia.org/wiki/Rewriting#Term_rewriting_systems }
string_rewriting =,string_rewriting =,string_rewriting . string_rewriting
string_rewriting_system SRS =,SRS . {
https://mathworld.wolfram.com/StringRewritingSystem.html }
fractal 관련
reduction_system =,reduction_system =,reduction_system . reduction_system {
abstract_rewriting_systems =,abstract_rewriting_systems =,abstract_rewriting_systems . abstract_rewriting_systems ARS =,ARS . {
abstract rewriting system abstract_rewriting_systems
https://en.wikipedia.org/wiki/Rewriting#Abstract_rewriting_systems https://en.wikipedia.org/wiki/Abstract_rewriting_system "abstract rewriting system"}
번역어 후보
축소 - shrink와 겹친다 (opp. enlargement)
감소 삭감 .. - diminishing, decreasing, 쪽과 겹치는
줄이기
환산 - (wk CS문서)
환산_(복잡도)
비슷한 뜻의 단어들
decrease
수학 관련표현.
reduc하면
reducible
reducible { polynomial, integer, manifold 뜻 설명. }
irreducible
irrep
irrep - "irreducible representation"
irreducibility
reducibility
CS 관련표현
Cook_reduction =,Cook_reduction =,Cook_reduction . Cook_reduction
Turing_reduction =,Turing_reduction =,Turing_reduction . Turing_reduction
Karp_reduction
truth-table reduction
log-space reduction
logspace reduction
polynomial-time_reduction
polynomial_reduction
polynomial-time_reduction =,polynomial-time_reduction . polynomial-time_reduction
{
polynomial-time reduction
reduction machine
graph_reduction_machine =,graph_reduction_machine =,graph_reduction_machine . graph_reduction_machine
{
graph reduction machine
reduction의 '가능 여부'에 대한 표현들 여기로 모을 것. TODO
Twins:
(wikiadmin)
....