misc.tex

   1 \todo{[ÓÉÍÍÅÔÒÉÑ: Á×ÔÏÍÁÔ--ÍÏÄÅÌØ]}
   2
   3 ðÏÍÏÖÅÔ ÂÏÌØÛÅ ÐÏÎÑÔØ ÐÒÏ ÓÏÏÔ×ÅÔÓÔ×ÉÅ SIMPLE REL (ÉÍÅÅÔ ÍÅÓÔÏ, ËÏÇÄÁ
   4 ÎÅÔ ÄÏÐ ÔÒÅÂÏ×ÁÎÉÊ; ËÁË ÚÁÍÅÞÅÎÏ, ÐÒÏÂÌÅÍÁ × ÄÅÔ-ÎÄÅÔ; × ÔÅÈ ÖÅ
   5 ÓÌÕÞÁÑÈ ÄÅÔ ÎÄÅÔ ÄÌÑ Á×ÔÏÍÁÔÏ× ÓÏ×ÐÁÄÁÀÔ).
   6
   7 \todo{[KA Paths]}
   8
   9 \todo{[recognizability via homomorphisms]}
  10
  11 åÓÔØ ÏÂÏÂÝÅÎÉÅ ÐÏÎÑÔÉÑ ËÏÎÅÞÎÏÇÏ Á×ÔÏÍÁÔÁ (ÎÁÄ ÁÌÆÁ×ÉÔÏÍ, ÎÁÄ
  12 ÍÏÎÏÉÄÏÍ)\T \tNDNo{Á×ÔÏÍÁÔ × ËÁÔÅÇÏÒÉÉ}
  13 (É ÒÁÚÒÁÂÏÔÁÎÁ ôÅÏÒÉÑ ËÏÎÅÞÎÙÈ Á×ÔÏÍÁÔÏ× × ËÁÔÅÇÏÒÉÑÈ,
  14 ÐÅÒÅÎÏÓÑÝÁÑ ÎÁ ÜÔÏÔ ÂÏÌÅÅ ÏÂÝÉÊ ÓÌÕÞÁÊ
  15 ÂÁÚÏ×ÙÅ ÒÅÚÕÌØÔÁÔÙ ÏÂÙÞÎÏÊ ôÅÏÒÉÉ ËÏÎÅÞÎÙÈ Á×ÔÏÍÁÔÏ×)
  16 \cite[ÌÅËÃÉÑ ?]{AMironov-math-theory-of-programming}.
  17 ëÁË ×ÙÇÌÑÄÑÔ ÉÓÓÌÅÄÕÅÍÙÅ × ÜÔÏÊ ÒÁÂÏÔÅ ×ÏÐÒÏÓÙ É ÐÒÅÄÌÁÇÁÅÍÙÅ ÍÅÔÏÄÙ
  18 ÒÅÛÅÎÉÑ Ó ÔÏÞËÉ ÚÒÅÎÉÑ ÔÁËÏÇÏ ÏÂÏÂÝÅÎÉÑ? åÓÔØ ÌÉ ËÁËÉÅ-ÔÏ ÄÁÎÎÙÅ ÎÁÍÉ
  19 ÏÐÒÅÄÅÌÅÎÉÑ É ÚÁÍÅÞÅÎÎÙÅ ÎÁÍÉ Ó×ÑÚÉ ÍÅÔÏÄÏ× ÒÅÛÅÎÉÑ ÍÅÖÄÕ ÓÏÂÏÊ
  20 ÞÁÓÔÎÙÍ ÓÌÕÞÁÅÍ ÂÏÌÅÅ ÏÂÝÉÈ ÏÐÒÅÄÅÌÅÎÉÊ É Ó×ÑÚÅÊ? ïÂÏÂÝÁÀÔÓÑ ÌÉ ÎÁÛÉ
  21 ÕÔ×ÅÒÖÄÅÎÉÑ ÎÁ ÓÌÕÞÁÊ ËÏÎÅÞÎÙÈ Á×ÔÏÍÁÔÏ× × ËÁÔÅÇÏÒÉÑÈ?
  22
  23 \paragraph{óÏ×ÍÅÓÔÎÏÓÔØ ÔÒÁÓÓ É ÏÐÅÒÁÃÉÑ ÐÅÒÅÓÅÞÅÎÉÑ.}
  24 íÏÄÎÏ ÉÓÈÏÄÉÔØ ÉÚ ÔÁËÏÇÏ ÐÏÎÉÍÁÎÉÑ:
  25
  26 ÏÄÎÁ ÔÒÁÓÓÁ <<ÓÏ×ÍÅÓÔÎÁ>> = Å£ ÉÎÔÅÒÐÒÅÔÁÃÉÑ (× Ó×ÏÂÏÄÎÏÊ ÍÏÄÅÌÉ) ÎÅ
  27 ÒÁ×ÎÁ 0
  28
  29 ÓÏ×ÍÅÓÔÎÏÓÔØ Ä×ÕÈ ÔÒÁÓÓ × ÐÒÏÇÒÁÍÍÁÈ -- ÉÎÔÅÒÐÒÅÔÁÃÉÑ × Þ£Í?
  30
  31 íÏÖÎÏ É ÔÁË:
  32
  33 Ä×Å ÔÒÁÓÓÙ <<ÓÏ×ÍÅÓÔÎÙ>> = ÐÅÒÅÓÅÞÅÎÉÅ ÉÈ ÉÎÔÅÒÐÒÅÔÁÃÉÊ (× Ó×ÏÂÏÄÎÏÊ ÍÏÄÅÌÉ) ÎÅ
  34 ÒÁ×ÎÏ 0
  35
  36 åÝ£ ÏÄÎÁ ÏÐÅÒÁÃÉÑ × KA -- ÐÅÒÅÓÅÞÅÎÉÅ.
  37
  38 çÄÅ ÅÝ£ ÍÏÖÅÔ ÂÙÔØ ÐÏÌÅÚÎÁ?
  39
  40 ðÏÎÑÔÉÅ ÓÏ×ÍÅÓÔÎÏÓÔÉ ÎÁÍÉ ÉÓÐÏÌØÚÏ×ÁÌÏÓØ ÐÒÉ ÐÏÓÔÒÏÅÎÉÉ ÁÌÇÏÒÉÔÍÏ×
  41 ÒÁÎØÛÅ.
  42
  43 îÏ × ÔÏÍ, ÞÔÏ ÍÙ ÒÁÓÓÍÁÔÒÉ×ÁÌÉ, ËÁË-ÔÏ ÕÄÁ×ÁÌÏÓØ ÏÂÈÏÄÉÔØÓÑ Ñ×ÎÏ ÂÅÚ
  44 ÎÅÇÏ.
  45
  46 åÓÔØ ÓÂÌÉÖÅÎÉÑ Ó ÉÎÔÅÒÐÒÅÔÁÃÉÅÊ <<ÐÁÒÙ>> Á×ÔÏÍÁÔÏ× × ÁÌÇÅÂÒÅ Ó
  47 ËÒÁÔÎÏÓÔÑÍÉ. îÅ ÏÞÅÎØ ÐÏÎÑÔÎÏ, ËÁË ÅÇÏ Ñ×ÎÏ ×ÙÒÁÚÉÔØ.
  48
  49
  50 \section{óÉÓÔÅÍÙ ÄÏËÁÚÁÔÅÌØÓÔ× É ÓÉÓÔÅÍÙ ÜË×É×ÁÌÅÎÔÎÙÈ
  51   ÐÒÅÏÂÒÁÚÏ×ÁÎÉÊ.}
  52 éÄÅÑ (ÍÅÔÁ-)ÄÏËÁÚÙ×ÁÔØ ÜË×É×ÁÌÅÎÔÎÏÓÔØ ÒÁ×ÅÎÓÔ× (ÔÏÞÎÅÅ, Horn\dÆÏÒÍÕÌ),
  53 ÏÐÉÒÁÑÓØ ÎÁ (ÐÏÌÎÕÀ) ÓÉÓÔÅÍÕ ÄÏËÁÚÁÔÅÌØÓÔ× ÄÌÑ ÜÔÉÈ ÆÏÒÍÕÌ
  54 (ÓÍ.~ôÅÏÒÅÍÕ~\ref{th:elim-annih}),
  55 ÐÏÈÏÖÁ ÎÁ ÉÄÅÀ
  56 (ÍÅÔÁ-)ÄÏËÁÚÙ×ÁÔØ ÜË×É×ÁÌÅÎÔÎÏÓÔØ ÒÁ×ÅÎÓÔ×, ÏÐÉÒÁÑÓØ ÎÁ ÐÏÌÎÕÀ ÓÉÓÔÅÍÕ
  57 ÜË×É×ÁÌÅÎÔÎÙÈ ÐÒÅÏÂÒÁÚÏ×ÁÎÉÊ ÔÅÒÍÏ×, ÄÁÖÅ, ×ÔÏÒÏÅ\T ÞÁÓÔÎÙÊ ÓÌÕÞÁÊ
  58 ÐÅÒ×ÏÇÏ.
  59 \begin{question}
  60   íÏÖÎÏ ÌÉ × ÓÉÓÔÅÍÅ ÄÏËÁÚÁÔÅÌØÓÔ×
  61   ÉÚ~\cite{KA-proof-theory,KA-modular-elimination} Õ×ÉÄÅÔØ ÓÉÓÔÅÍÕ
  62   ÜË×É×ÁÌÅÎÔÎÙÈ ÐÒÅÏÂÒÁÚÏ×ÁÎÉÊ Á×ÔÏÍÁÔÏ× ÓÐÅÃÉÁÌØÎÙÈ ×ÉÄÏ×, ÎÁÐÒÉÍÅÒ,
  63   ÎÅÄÅÔÅÒÍÉÎÉÒÏ×ÁÎÎÙÈ ÍÎÏÇÏÌÅÎÔÏÞÎÙÈ Á×ÔÏÍÁÔÏ×?
  64
  65   éÌÉ Õ×ÉÄÅÔØ Ó×ÑÚØ Ó ÉÚ×ÅÓÔÎÙÍÉ ÓÉÓÔÅÍÁÍÉ ÜË×É×ÁÌÅÎÔÎÙÈ
  66   ÐÒÅÏÂÒÁÚÏ×ÁÎÉÊ \cite{?}?
  67 \end{question}
  68
  69 \paragraph{DMTA, Bird, coalgebraic.} ðÏÓÔÒÏÅÎÉÑ, ÐÏÌÕÞÁÀÝÉÅÓÑ ×
  70   \cite{coalgebraic} ÎÁÐÏÍÉÎÁÀÔ ÐÏÓÔÒÏÅÎÉÑ ÄÌÑ ÄÏË-×Á ÒÁÚÒÅÛÉÍÏÓÔÉ
  71   2-ÈÌÅÎÔÏÞÎÙÈ Á×ÔÏÍÁÔÏ× (ÓÈÅÍÙ â£ÒÄÁ \itp). ðÏÓÍÏÔÒÅÔØ ×ÎÉÍÁÔÅÌØÎÅÅ.
  72
  73
  74 %%% Local Variables:
  75 %%% mode: latex
  76 %%% TeX-master: "main"
  77 %%% End: