Возьмите следующий фрагмент: 1 #include <stdio.h> 2 #include <stdlib.h> 3 int foo(char [6]); 4 5 int main(void) { 6 char* bar="hello"; 7 return foo(bar); 8 } 9 10 int foo(char f[6]) { 11 return...

Представьте, что нам дали электронную таблицу Excel с тремя столбцами, помеченными COND, X и Y. COND = TRUE or FALSE (user input) X = if(COND == TRUE) then 0 else Y Y = if(COND == TRUE) then X else 1; Эти формулы отлично оцениваются в Excel,...

Предположим, что у нас есть язык L, не зависящий от контекста, и буква «а» среди прочих принадлежит его алфавиту. Как я могу доказать, что язык ERASEa(L), который удаляет все экземпляры символа 'a' в строках, созданных L (например, abbac -> bbc),...