Предположим, у нас есть простой язык, который состоит из терминов: truetrue\mathtt{true} falsefalse\mathtt{false} если являются терминами, тоt1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Теперь предположим следующие...
Я сделал немного googleing и придумал немного меньше. Мне интересно, каковы основные причины для ученых, программистов, изучать переписывание терминов и / или переписывание терминов графов. Насколько я могу судить, он просто помогает для основных рассуждений о функциональных программах и...
Переписывание системы представляет собой набор правил в виде . Если мы применим это правило к строке мы заменим любую подстроку в подстрокой и наоборот.A ↔ BA↔ВA \leftrightarrow BвесвесwAAAвесвесwВВB Учитывая начальную строку мы можем получить в системе по следующим правилам:A A A B BAAAВВAAABBB A...
Пусть → β→β\to_\beta - β-β\beta редукция в λ-λ\lambda вычислении. Определить β-β\beta расширение ← β←β\leftarrow_\beta по t ′ ← β t⟺t → β t ′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' . ← β←β\leftarrow_\beta является слитым ? Другими словами, имеем ли мы это для любого l , d , rl,d,rl,d,r ,...