53

Синхронизируемые автоматы, осень 2010: Открытые проблемы

Embed Size (px)

Citation preview

Page 1: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

')(�*,+.-0/&12*436573�*98;:23<*43>=�?A@CBD=�12EGFD=�FH IKJMLONQPSRUT.VXW�Y[Z PS\^]

_a`>bSc�d[`6ZQe0W�Z�b�W�fgQh>ikj#l�mni�mpo0gQqkr sto�h�u<r m6vxw�y�z{i�mpo�h6r qk|k}�h�~#w��S}�uXu<r i

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 2: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

�4�C� ?M+DF0�

��P#�tPSV{\�`>RQ` ]&��`  O¡9RQ` �tP¢d�£��tW�\¤d$�&d�¥0¦¨§ª©�«­¬�®¤¬�¯S° J± «²� c$P­]&�&d$��P¤]kP#�± ®³��c�P´`>R[N�£��µd�Z�N[cSd�YQP#�± ¯´¥9«·¶¸®A¹º«²��c�PO��VXd�R$]#` ��` W�R¢»t£[R� #��` W�R¦ ` ]¼ d�Z>Z P�½ ]t¾¿R$ Sc�VnW�RQ` À�`>R�Á ` »Â� c$PSVXP¢P�Ã�` ]&��]Kd�Ä�WQVn½ÆÅ·ÇC®µÈ^Ä^c�WS]kPd� #��` W�RUVnP#]kP#��]¼¦ÊÉË� c�d$�K` ]�É,Z Pd�fSP#]¼��c�P¢d�£��tW�\¤d$��W�Ra`>R´W�R$PÌNSdSVp��`  S£�Z dSV]&�&d$��PÍR�WÎ\¤d$����PSV,ĤcQ`  ScÏ]&�&d$��P´`6RЫÑ` �)]&�tdSVn��P�½Òd$� ¥�¯[Ó&Ôˬ$ÅKÕ)§²¯[Ó&ÔQÖ�¬$ÅKÕ»×WQV4d[Z>ZMÔˬ�Ô Ö ÇØ«¢JÙ «ÛÚ�Å Ù §ÑÜ�J¼Ý4PSVnPΫÛÚ$Þϧàß$¯QÓ&ÔM¬$Þ[Õ Ù ÔáÇØ«Oâ[JãµR�¾ÎųÄK` � c�� cQ` ]­NSVnW�NQPSVp��¾U` ]Kd VnP#]kP#�äÄ�WQVn½ »×WQV¦ÑJ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 3: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

�4�C� ?M+DF0�

��P#�tPSV{\�`>RQ` ]&��`  O¡9RQ` �tP¢d�£��tW�\¤d$�&d�¥0¦¨§ª©�«­¬�®¤¬�¯S° J± «²� c$P­]&�&d$��P¤]kP#�± ®³��c�P´`>R[N�£��µd�Z�N[cSd�YQP#�± ¯´¥9«·¶¸®A¹º«²��c�PO��VXd�R$]#` ��` W�R¢»t£[R� #��` W�R¦ ` ]¼ d�Z>Z P�½ ]t¾¿R$ Sc�VnW�RQ` À�`>R�Á ` »Â� c$PSVXP¢P�Ã�` ]&��]Kd�Ä�WQVn½ÆÅ·ÇC®µÈ^Ä^c�WS]kPd� #��` W�RUVnP#]kP#��]¼¦ÊÉË� c�d$�K` ]�É,Z Pd�fSP#]¼��c�P¢d�£��tW�\¤d$��W�Ra`>R´W�R$PÌNSdSVp��`  S£�Z dSV]&�&d$��PÍR�WÎ\¤d$����PSV,ĤcQ`  ScÏ]&�&d$��P´`6RЫÑ` �)]&�tdSVn��P�½Òd$� ¥�¯[Ó&Ôˬ$ÅKÕ)§²¯[Ó&ÔQÖ�¬$ÅKÕ»×WQV4d[Z>ZMÔˬ�Ô Ö ÇØ«¢JÙ «ÛÚ�Å Ù §ÑÜ�J¼Ý4PSVnPΫÛÚ$Þϧàß$¯QÓ&ÔM¬$Þ[Õ Ù ÔáÇØ«Oâ[JãµR�¾ÎųÄK` � c�� cQ` ]­NSVnW�NQPSVp��¾U` ]Kd VnP#]kP#�äÄ�WQVn½ »×WQV¦ÑJ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 4: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

�4�C� ?M+DF0�

��P#�tPSV{\�`>RQ` ]&��`  O¡9RQ` �tP¢d�£��tW�\¤d$�&d�¥0¦¨§ª©�«­¬�®¤¬�¯S° J± «²� c$P­]&�&d$��P¤]kP#�± ®³��c�P´`>R[N�£��µd�Z�N[cSd�YQP#�± ¯´¥9«·¶¸®A¹º«²��c�PO��VXd�R$]#` ��` W�R¢»t£[R� #��` W�R¦ ` ]¼ d�Z>Z P�½ ]t¾¿R$ Sc�VnW�RQ` À�`>R�Á ` »Â� c$PSVXP¢P�Ã�` ]&��]Kd�Ä�WQVn½ÆÅ·ÇC®µÈ^Ä^c�WS]kPd� #��` W�RUVnP#]kP#��]¼¦ÊÉË� c�d$�K` ]�É,Z Pd�fSP#]¼��c�P¢d�£��tW�\¤d$��W�Ra`>R´W�R$PÌNSdSVp��`  S£�Z dSV]&�&d$��PÍR�WÎ\¤d$����PSV,ĤcQ`  ScÏ]&�&d$��P´`6RЫÑ` �)]&�tdSVn��P�½Òd$� ¥�¯[Ó&Ôˬ$ÅKÕ)§²¯[Ó&ÔQÖ�¬$ÅKÕ»×WQV4d[Z>ZMÔˬ�Ô Ö ÇØ«¢JÙ «ÛÚ�Å Ù §ÑÜ�J¼Ý4PSVnPΫÛÚ$Þϧàß$¯QÓ&ÔM¬$Þ[Õ Ù ÔáÇØ«Oâ[JãµR�¾ÎųÄK` � c�� cQ` ]­NSVnW�NQPSVp��¾U` ]Kd VnP#]kP#�äÄ�WQVn½ »×WQV¦ÑJ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 5: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

�4�C� ?M+DF0�

��P#�tPSV{\�`>RQ` ]&��`  O¡9RQ` �tP¢d�£��tW�\¤d$�&d�¥0¦¨§ª©�«­¬�®¤¬�¯S° J± «²� c$P­]&�&d$��P¤]kP#�± ®³��c�P´`>R[N�£��µd�Z�N[cSd�YQP#�± ¯´¥9«·¶¸®A¹º«²��c�PO��VXd�R$]#` ��` W�R¢»t£[R� #��` W�R¦ ` ]¼ d�Z>Z P�½ ]t¾¿R$ Sc�VnW�RQ` À�`>R�Á ` »Â� c$PSVXP¢P�Ã�` ]&��]Kd�Ä�WQVn½ÆÅ·ÇC®µÈ^Ä^c�WS]kPd� #��` W�RUVnP#]kP#��]¼¦ÊÉË� c�d$�K` ]�É,Z Pd�fSP#]¼��c�P¢d�£��tW�\¤d$��W�Ra`>R´W�R$PÌNSdSVp��`  S£�Z dSV]&�&d$��PÍR�WÎ\¤d$����PSV,ĤcQ`  ScÏ]&�&d$��P´`6RЫÑ` �)]&�tdSVn��P�½Òd$� ¥�¯[Ó&Ôˬ$ÅKÕ)§²¯[Ó&ÔQÖ�¬$ÅKÕ»×WQV4d[Z>ZMÔˬ�Ô Ö ÇØ«¢JÙ «ÛÚ�Å Ù §ÑÜ�J¼Ý4PSVnPΫÛÚ$Þϧàß$¯QÓ&ÔM¬$Þ[Õ Ù ÔáÇØ«Oâ[JãµR�¾ÎųÄK` � c�� cQ` ]­NSVnW�NQPSVp��¾U` ]Kd VnP#]kP#�äÄ�WQVn½ »×WQV¦ÑJ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 6: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

å¼�Cæ�ç F0E³�0è>?

é Ü

êë

ìí

í

í

í

ì

ìì

ã²VXP#]kP#�)Ä�W[Vn½C` ] ì í[í�í ì í[í�í ì J2HîR�»{d� #��É�Ä�PÌcSd�f�P¤f�PSV{` ¡�P�½á� c�d$�ä��c[` ]¤` ]� c$P­]�c�WQVp�tP#]&�OVnP#]kP#�äÄ�WQVn½á»�W[VÂ� cQ` ]¼d[£$��W�\Od$��W�R¿J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 7: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

å¼�Cæ�ç F0E³�0è>?

é Ü

êë

ìí

í

í

í

ì

ìì

ã²VXP#]kP#�)Ä�W[Vn½C` ] ì í[í�í ì í[í�í ì J2HîR�»{d� #��É�Ä�PÌcSd�f�P¤f�PSV{` ¡�P�½á� c�d$�ä��c[` ]¤` ]� c$P­]�c�WQVp�tP#]&�OVnP#]kP#�äÄ�WQVn½á»�W[VÂ� cQ` ]¼d[£$��W�\Od$��W�R¿J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 8: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

ï¼�Ðð è6F,ñ�ñ�36+DF0èKò´/&12ó0è>?ÂEôñ

õ c$P¸ö÷ PSV{R7ø¾ ÷ W�R�ù�P� #� £[VnP ¥K` ]O` �)� V{£$PO� c�d$� É�»�W[V�d�R¾´]t¾�R� Sc[VnW�R[` À�`>R$Ád[£$��W�\Od$��W�R�ÄK` � cáúÍ]&�&d$��P#]�É�� c$PSVnP�P�Ã�` ]&��]KdaVnP#]kP#�äÄ�WQVn½ÒW�»2Z PSR�Á�� cÓ&úOûüÜ�Õ�ý�þõ c$Páÿ9d�R�b ÷ W�R�ù�P� #� £[VnP ¥¼` ]O` �)� V{£$PO� c�d$� É�»�W[V�d�R¾Ò���#㦠§ ©�«O¬�®O¬�¯�°2ÄK` � cáúÍ]&�&d$��P#]Kd�R$½¸VXd�R[b��MÉM��c�PSVnPÍ` ]KdÎÅ·ÇC®µÈ¤W�»Z PSR�Á�� cUÓ&úOû���Õ�ýO]�£$ ScÏ��cSd$� Ù ¯[Ó#«­¬$ÅKÕ Ù §���þ

õ c$P VXd�R�b W�» dU���#ãA¦¨§ª©�«­¬�®¤¬�¯S°¤` ]µ��c�PÍ\¢`>R[`>\Ï£[\à d�Vn½�`6R�d�Z�` ��¾´W�»� c$P­]kP#��]Í«ÛÚ$ųĤc$PSVnPUÅÑV{£�R�]¼W�f�PSV0® È J õ c[` ]O` ]µ��c�PÍ\¢`>R[`>\Ï£[\Ê]k �WQVnP� c�d$�2 d[RaYQP¢d� ScQ` P fSP�½Ð`6R�� c$P­]kW�Z�` �&d[`>VnP¤Á[d�\^P¢W�R´� c$P�d�£��tW�\¤d$�tW�RϦÑJ� ¾¿R$ Sc�VnW�RQ` À�`>R�Áád�£$��W�\Od��&dÍdSVnPÌNSVnP� �` ]kPSZ ¾Í��c�WS]kP¢W�»2VXd�R[b Ü�J

õ c$P ö÷ PSV{R7ø¾Ï»t£[R� #��` W�R���]¢YQPScSdf�` W�£�V,»�W[V7f�dSV×` W�£$]­VnP#]&� V×`  #�tP�½a SZ d$]&]kP#]W�»4]t¾¿R$ Sc�VnW�RQ` À�`>R�Áád�£$��W�\Od��&d¿J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 9: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

ï¼�Ðð è6F,ñ�ñ�36+DF0èKò´/&12ó0è>?ÂEôñ

õ c$P¸ö÷ PSV{R7ø¾ ÷ W�R�ù�P� #� £[VnP ¥K` ]O` �)� V{£$PO� c�d$� É�»�W[V�d�R¾´]t¾�R� Sc[VnW�R[` À�`>R$Ád[£$��W�\Od$��W�R�ÄK` � cáúÍ]&�&d$��P#]�É�� c$PSVnP�P�Ã�` ]&��]KdaVnP#]kP#�äÄ�WQVn½ÒW�»2Z PSR�Á�� cÓ&úOûüÜ�Õ�ý�þõ c$Páÿ9d�R�b ÷ W�R�ù�P� #� £[VnP ¥¼` ]O` �)� V{£$PO� c�d$� É�»�W[V�d�R¾Ò���#㦠§ ©�«O¬�®O¬�¯�°2ÄK` � cáúÍ]&�&d$��P#]Kd�R$½¸VXd�R[b��MÉM��c�PSVnPÍ` ]KdÎÅ·ÇC®µÈ¤W�»Z PSR�Á�� cUÓ&úOû���Õ�ýO]�£$ ScÏ��cSd$� Ù ¯[Ó#«­¬$ÅKÕ Ù §���þ

õ c$P VXd�R�b W�» dU���#ãA¦¨§ª©�«­¬�®¤¬�¯S°¤` ]µ��c�PÍ\¢`>R[`>\Ï£[\à d�Vn½�`6R�d�Z�` ��¾´W�»� c$P­]kP#��]Í«ÛÚ$ųĤc$PSVnPUÅÑV{£�R�]¼W�f�PSV0® È J õ c[` ]O` ]µ��c�PÍ\¢`>R[`>\Ï£[\Ê]k �WQVnP� c�d$�2 d[RaYQP¢d� ScQ` P fSP�½Ð`6R�� c$P­]kW�Z�` �&d[`>VnP¤Á[d�\^P¢W�R´� c$P�d�£��tW�\¤d$�tW�RϦÑJ� ¾¿R$ Sc�VnW�RQ` À�`>R�Áád�£$��W�\Od��&dÍdSVnPÌNSVnP� �` ]kPSZ ¾Í��c�WS]kP¢W�»2VXd�R[b Ü�J

õ c$P ö÷ PSV{R7ø¾Ï»t£[R� #��` W�R���]¢YQPScSdf�` W�£�V,»�W[V7f�dSV×` W�£$]­VnP#]&� V×`  #�tP�½a SZ d$]&]kP#]W�»4]t¾¿R$ Sc�VnW�RQ` À�`>R�Áád�£$��W�\Od��&d¿J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 10: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

ï¼�Ðð è6F,ñ�ñ�36+DF0èKò´/&12ó0è>?ÂEôñ

õ c$P¸ö÷ PSV{R7ø¾ ÷ W�R�ù�P� #� £[VnP ¥K` ]O` �)� V{£$PO� c�d$� É�»�W[V�d�R¾´]t¾�R� Sc[VnW�R[` À�`>R$Ád[£$��W�\Od$��W�R�ÄK` � cáúÍ]&�&d$��P#]�É�� c$PSVnP�P�Ã�` ]&��]KdaVnP#]kP#�äÄ�WQVn½ÒW�»2Z PSR�Á�� cÓ&úOûüÜ�Õ�ý�þõ c$Páÿ9d�R�b ÷ W�R�ù�P� #� £[VnP ¥¼` ]O` �)� V{£$PO� c�d$� É�»�W[V�d�R¾Ò���#㦠§ ©�«O¬�®O¬�¯�°2ÄK` � cáúÍ]&�&d$��P#]Kd�R$½¸VXd�R[b��MÉM��c�PSVnPÍ` ]KdÎÅ·ÇC®µÈ¤W�»Z PSR�Á�� cUÓ&úOû���Õ�ýO]�£$ ScÏ��cSd$� Ù ¯[Ó#«­¬$ÅKÕ Ù §���þ

õ c$P VXd�R�b W�» dU���#ãA¦¨§ª©�«­¬�®¤¬�¯S°¤` ]µ��c�PÍ\¢`>R[`>\Ï£[\à d�Vn½�`6R�d�Z�` ��¾´W�»� c$P­]kP#��]Í«ÛÚ$ųĤc$PSVnPUÅÑV{£�R�]¼W�f�PSV0® È J õ c[` ]O` ]µ��c�PÍ\¢`>R[`>\Ï£[\Ê]k �WQVnP� c�d$�2 d[RaYQP¢d� ScQ` P fSP�½Ð`6R�� c$P­]kW�Z�` �&d[`>VnP¤Á[d�\^P¢W�R´� c$P�d�£��tW�\¤d$�tW�RϦÑJ� ¾¿R$ Sc�VnW�RQ` À�`>R�Áád�£$��W�\Od��&dÍdSVnPÌNSVnP� �` ]kPSZ ¾Í��c�WS]kP¢W�»2VXd�R[b Ü�J

õ c$P ö÷ PSV{R7ø¾Ï»t£[R� #��` W�R���]¢YQPScSdf�` W�£�V,»�W[V7f�dSV×` W�£$]­VnP#]&� V×`  #�tP�½a SZ d$]&]kP#]W�»4]t¾¿R$ Sc�VnW�RQ` À�`>R�Áád�£$��W�\Od��&d¿J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 11: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

ï¼�Ðð è6F,ñ�ñ�36+DF0èKò´/&12ó0è>?ÂEôñ

õ c$P¸ö÷ PSV{R7ø¾ ÷ W�R�ù�P� #� £[VnP ¥K` ]O` �)� V{£$PO� c�d$� É�»�W[V�d�R¾´]t¾�R� Sc[VnW�R[` À�`>R$Ád[£$��W�\Od$��W�R�ÄK` � cáúÍ]&�&d$��P#]�É�� c$PSVnP�P�Ã�` ]&��]KdaVnP#]kP#�äÄ�WQVn½ÒW�»2Z PSR�Á�� cÓ&úOûüÜ�Õ�ý�þõ c$Páÿ9d�R�b ÷ W�R�ù�P� #� £[VnP ¥¼` ]O` �)� V{£$PO� c�d$� É�»�W[V�d�R¾Ò���#㦠§ ©�«O¬�®O¬�¯�°2ÄK` � cáúÍ]&�&d$��P#]Kd�R$½¸VXd�R[b��MÉM��c�PSVnPÍ` ]KdÎÅ·ÇC®µÈ¤W�»Z PSR�Á�� cUÓ&úOû���Õ�ýO]�£$ ScÏ��cSd$� Ù ¯[Ó#«­¬$ÅKÕ Ù §���þ

õ c$P VXd�R�b W�» dU���#ãA¦¨§ª©�«­¬�®¤¬�¯S°¤` ]µ��c�PÍ\¢`>R[`>\Ï£[\à d�Vn½�`6R�d�Z�` ��¾´W�»� c$P­]kP#��]Í«ÛÚ$ųĤc$PSVnPUÅÑV{£�R�]¼W�f�PSV0® È J õ c[` ]O` ]µ��c�PÍ\¢`>R[`>\Ï£[\Ê]k �WQVnP� c�d$�2 d[RaYQP¢d� ScQ` P fSP�½Ð`6R�� c$P­]kW�Z�` �&d[`>VnP¤Á[d�\^P¢W�R´� c$P�d�£��tW�\¤d$�tW�RϦÑJ� ¾¿R$ Sc�VnW�RQ` À�`>R�Áád�£$��W�\Od��&dÍdSVnPÌNSVnP� �` ]kPSZ ¾Í��c�WS]kP¢W�»2VXd�R[b Ü�J

õ c$P ö÷ PSV{R7ø¾Ï»t£[R� #��` W�R���]¢YQPScSdf�` W�£�V,»�W[V7f�dSV×` W�£$]­VnP#]&� V×`  #�tP�½a SZ d$]&]kP#]W�»4]t¾¿R$ Sc�VnW�RQ` À�`>R�Áád�£$��W�\Od��&d¿J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 12: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

ï¼�Ðð è6F,ñ�ñ�36+DF0èKò´/&12ó0è>?ÂEôñ

õ c$P¸ö÷ PSV{R7ø¾ ÷ W�R�ù�P� #� £[VnP ¥K` ]O` �)� V{£$PO� c�d$� É�»�W[V�d�R¾´]t¾�R� Sc[VnW�R[` À�`>R$Ád[£$��W�\Od$��W�R�ÄK` � cáúÍ]&�&d$��P#]�É�� c$PSVnP�P�Ã�` ]&��]KdaVnP#]kP#�äÄ�WQVn½ÒW�»2Z PSR�Á�� cÓ&úOûüÜ�Õ�ý�þõ c$Páÿ9d�R�b ÷ W�R�ù�P� #� £[VnP ¥¼` ]O` �)� V{£$PO� c�d$� É�»�W[V�d�R¾Ò���#㦠§ ©�«O¬�®O¬�¯�°2ÄK` � cáúÍ]&�&d$��P#]Kd�R$½¸VXd�R[b��MÉM��c�PSVnPÍ` ]KdÎÅ·ÇC®µÈ¤W�»Z PSR�Á�� cUÓ&úOû���Õ�ýO]�£$ ScÏ��cSd$� Ù ¯[Ó#«­¬$ÅKÕ Ù §���þ

õ c$P VXd�R�b W�» dU���#ãA¦¨§ª©�«­¬�®¤¬�¯S°¤` ]µ��c�PÍ\¢`>R[`>\Ï£[\à d�Vn½�`6R�d�Z�` ��¾´W�»� c$P­]kP#��]Í«ÛÚ$ųĤc$PSVnPUÅÑV{£�R�]¼W�f�PSV0® È J õ c[` ]O` ]µ��c�PÍ\¢`>R[`>\Ï£[\Ê]k �WQVnP� c�d$�2 d[RaYQP¢d� ScQ` P fSP�½Ð`6R�� c$P­]kW�Z�` �&d[`>VnP¤Á[d�\^P¢W�R´� c$P�d�£��tW�\¤d$�tW�RϦÑJ� ¾¿R$ Sc�VnW�RQ` À�`>R�Áád�£$��W�\Od��&dÍdSVnPÌNSVnP� �` ]kPSZ ¾Í��c�WS]kP¢W�»2VXd�R[b Ü�J

õ c$P ö÷ PSV{R7ø¾Ï»t£[R� #��` W�R���]¢YQPScSdf�` W�£�V,»�W[V7f�dSV×` W�£$]­VnP#]&� V×`  #�tP�½a SZ d$]&]kP#]W�»4]t¾¿R$ Sc�VnW�RQ` À�`>R�Áád�£$��W�\Od��&d¿J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 13: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

ï¼�Ðð è6F,ñ�ñ�36+DF0èKò´/&12ó0è>?ÂEôñ

õ c$P¸ö÷ PSV{R7ø¾ ÷ W�R�ù�P� #� £[VnP ¥K` ]O` �)� V{£$PO� c�d$� É�»�W[V�d�R¾´]t¾�R� Sc[VnW�R[` À�`>R$Ád[£$��W�\Od$��W�R�ÄK` � cáúÍ]&�&d$��P#]�É�� c$PSVnP�P�Ã�` ]&��]KdaVnP#]kP#�äÄ�WQVn½ÒW�»2Z PSR�Á�� cÓ&úOûüÜ�Õ�ý�þõ c$Páÿ9d�R�b ÷ W�R�ù�P� #� £[VnP ¥¼` ]O` �)� V{£$PO� c�d$� É�»�W[V�d�R¾Ò���#㦠§ ©�«O¬�®O¬�¯�°2ÄK` � cáúÍ]&�&d$��P#]Kd�R$½¸VXd�R[b��MÉM��c�PSVnPÍ` ]KdÎÅ·ÇC®µÈ¤W�»Z PSR�Á�� cUÓ&úOû���Õ�ýO]�£$ ScÏ��cSd$� Ù ¯[Ó#«­¬$ÅKÕ Ù §���þ

õ c$P VXd�R�b W�» dU���#ãA¦¨§ª©�«­¬�®¤¬�¯S°¤` ]µ��c�PÍ\¢`>R[`>\Ï£[\à d�Vn½�`6R�d�Z�` ��¾´W�»� c$P­]kP#��]Í«ÛÚ$ųĤc$PSVnPUÅÑV{£�R�]¼W�f�PSV0® È J õ c[` ]O` ]µ��c�PÍ\¢`>R[`>\Ï£[\Ê]k �WQVnP� c�d$�2 d[RaYQP¢d� ScQ` P fSP�½Ð`6R�� c$P­]kW�Z�` �&d[`>VnP¤Á[d�\^P¢W�R´� c$P�d�£��tW�\¤d$�tW�RϦÑJ� ¾¿R$ Sc�VnW�RQ` À�`>R�Áád�£$��W�\Od��&dÍdSVnPÌNSVnP� �` ]kPSZ ¾Í��c�WS]kP¢W�»2VXd�R[b Ü�J

õ c$P ö÷ PSV{R7ø¾Ï»t£[R� #��` W�R���]¢YQPScSdf�` W�£�V,»�W[V7f�dSV×` W�£$]­VnP#]&� V×`  #�tP�½a SZ d$]&]kP#]W�»4]t¾¿R$ Sc�VnW�RQ` À�`>R�Áád�£$��W�\Od��&d¿J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 14: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

� @C��?./#3î1�23î+G@CBD=S12EØF9=SF

�[Ã�d�\ÏN[Z P�¥KÿDP� �PSR$��Z ¾ õ VXd�c$��\Od[Rac�d$]­NSVnW�f�P�½a� c�d$�äP fSPSV�¾Í]t¾�R$ Sc�VnW�RQ` À�`>R$Ád�NQPSV×` W�½Ë`  ­d�£��tW�\¤d$��W�R�ÄK` ��c ú´]&�&d��tP#]Kd�½Ë\�` ��]2daVnP#]kP#�)Ä�WQVn½UW�»äZ PSR�Á�� c´d$�\¤WS]&�� ��� ������ý JÝ4W�Ä�P fSPSVäR�WÎNSVnP� �` ]kPáYQW�£[R�½Ì»×WQV����7Ó&ú[Õ�ÉË� c$PÍ\�`>RQ`6\�£�\ Z PSR�Á�� cÏW�»µVnP#]kP#�Ä�WQVX½Q]2»×WQV7]t¾¿R$ Sc[VXW�RQ` À�`6R�Á d�NQPSV×` W¿½�`  ¤d�£$��W�\Od��&dOÄ^` � c ú�]&�&d$��P#]�É9cSd�]¤YQP�PSR»×W�£[R�½á]kW´»{dSVxJÓ õ VXd�c�� \¤d�R�Õ� ��� ������ý ���7Ó&ú[Õ ú�!#" ý%$ û ê Ó{ãµRSd�RQ`  Sc�P f�Õõ c$P­Á[d�NáYQP#��Ä�P�PSRÍ� c$PÌ£�N[NQPSVÂd�R$½á��c�PÍZ WÄ0PSVäYQW�£[R�½Q]O` ]­VXd$��c�PSV.½ËVXd$]&��`  �J� `6\¢`6Z dSV7� cQ`6R�Á�]­cSd[N�NQPSR¢»×WQVÂ]kP f�PSVXd�Z�WS� c$PSV� SZ d$]&]kP#]¼W�»0]t¾�R� Sc[VnW�R[` À�`>R$Ád�£��tW�\¤d$�&d�»�W[V7Ä^c�WS]kP ö÷ PSV{R7ø¾Í»�£�R$ #��` W�R$]2Ä0P b�R�W�Ä d�Rá£�N[NQPSV�YQW�£�R$½Ó&�D£[Z PSV×` d�R�É�Ä�Pd[bSZ ¾U\¤W�R$WS�tW�RQ`  �Õ J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 15: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

� @C��?./#3î1�23î+G@CBD=S12EØF9=SF

�[Ã�d�\ÏN[Z P�¥KÿDP� �PSR$��Z ¾ õ VXd�c$��\Od[Rac�d$]­NSVnW�f�P�½a� c�d$�äP fSPSV�¾Í]t¾�R$ Sc�VnW�RQ` À�`>R$Ád�NQPSV×` W�½Ë`  ­d�£��tW�\¤d$��W�R�ÄK` ��c ú´]&�&d��tP#]Kd�½Ë\�` ��]2daVnP#]kP#�)Ä�WQVn½UW�»äZ PSR�Á�� c´d$�\¤WS]&�� ��� ������ý JÝ4W�Ä�P fSPSVäR�WÎNSVnP� �` ]kPáYQW�£[R�½Ì»×WQV����7Ó&ú[Õ�ÉË� c$PÍ\�`>RQ`6\�£�\ Z PSR�Á�� cÏW�»µVnP#]kP#�Ä�WQVX½Q]2»×WQV7]t¾¿R$ Sc[VXW�RQ` À�`6R�Á d�NQPSV×` W¿½�`  ¤d�£$��W�\Od��&dOÄ^` � c ú�]&�&d$��P#]�É9cSd�]¤YQP�PSR»×W�£[R�½á]kW´»{dSVxJÓ õ VXd�c�� \¤d�R�Õ� ��� ������ý ���7Ó&ú[Õ ú�!#" ý%$ û ê Ó{ãµRSd�RQ`  Sc�P f�Õõ c$P­Á[d�NáYQP#��Ä�P�PSRÍ� c$PÌ£�N[NQPSVÂd�R$½á��c�PÍZ WÄ0PSVäYQW�£[R�½Q]O` ]­VXd$��c�PSV.½ËVXd$]&��`  �J� `6\¢`6Z dSV7� cQ`6R�Á�]­cSd[N�NQPSR¢»×WQVÂ]kP f�PSVXd�Z�WS� c$PSV� SZ d$]&]kP#]¼W�»0]t¾�R� Sc[VnW�R[` À�`>R$Ád�£��tW�\¤d$�&d�»�W[V7Ä^c�WS]kP ö÷ PSV{R7ø¾Í»�£�R$ #��` W�R$]2Ä0P b�R�W�Ä d�Rá£�N[NQPSV�YQW�£�R$½Ó&�D£[Z PSV×` d�R�É�Ä�Pd[bSZ ¾U\¤W�R$WS�tW�RQ`  �Õ J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 16: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

� @C��?./#3î1�23î+G@CBD=S12EØF9=SF

�[Ã�d�\ÏN[Z P�¥KÿDP� �PSR$��Z ¾ õ VXd�c$��\Od[Rac�d$]­NSVnW�f�P�½a� c�d$�äP fSPSV�¾Í]t¾�R$ Sc�VnW�RQ` À�`>R$Ád�NQPSV×` W�½Ë`  ­d�£��tW�\¤d$��W�R�ÄK` ��c ú´]&�&d��tP#]Kd�½Ë\�` ��]2daVnP#]kP#�)Ä�WQVn½UW�»äZ PSR�Á�� c´d$�\¤WS]&�� ��� ������ý JÝ4W�Ä�P fSPSVäR�WÎNSVnP� �` ]kPáYQW�£[R�½Ì»×WQV����7Ó&ú[Õ�ÉË� c$PÍ\�`>RQ`6\�£�\ Z PSR�Á�� cÏW�»µVnP#]kP#�Ä�WQVX½Q]2»×WQV7]t¾¿R$ Sc[VXW�RQ` À�`6R�Á d�NQPSV×` W¿½�`  ¤d�£$��W�\Od��&dOÄ^` � c ú�]&�&d$��P#]�É9cSd�]¤YQP�PSR»×W�£[R�½á]kW´»{dSVxJÓ õ VXd�c�� \¤d�R�Õ� ��� ������ý ���7Ó&ú[Õ ú�!#" ý%$ û ê Ó{ãµRSd�RQ`  Sc�P f�Õõ c$P­Á[d�NáYQP#��Ä�P�PSRÍ� c$PÌ£�N[NQPSVÂd�R$½á��c�PÍZ WÄ0PSVäYQW�£[R�½Q]O` ]­VXd$��c�PSV.½ËVXd$]&��`  �J� `6\¢`6Z dSV7� cQ`6R�Á�]­cSd[N�NQPSR¢»×WQVÂ]kP f�PSVXd�Z�WS� c$PSV� SZ d$]&]kP#]¼W�»0]t¾�R� Sc[VnW�R[` À�`>R$Ád�£��tW�\¤d$�&d�»�W[V7Ä^c�WS]kP ö÷ PSV{R7ø¾Í»�£�R$ #��` W�R$]2Ä0P b�R�W�Ä d�Rá£�N[NQPSV�YQW�£�R$½Ó&�D£[Z PSV×` d�R�É�Ä�Pd[bSZ ¾U\¤W�R$WS�tW�RQ`  �Õ J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 17: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

� @C��?./#3î1�23î+G@CBD=S12EØF9=SF

�[Ã�d�\ÏN[Z P�¥KÿDP� �PSR$��Z ¾ õ VXd�c$��\Od[Rac�d$]­NSVnW�f�P�½a� c�d$�äP fSPSV�¾Í]t¾�R$ Sc�VnW�RQ` À�`>R$Ád�NQPSV×` W�½Ë`  ­d�£��tW�\¤d$��W�R�ÄK` ��c ú´]&�&d��tP#]Kd�½Ë\�` ��]2daVnP#]kP#�)Ä�WQVn½UW�»äZ PSR�Á�� c´d$�\¤WS]&�� ��� ������ý JÝ4W�Ä�P fSPSVäR�WÎNSVnP� �` ]kPáYQW�£[R�½Ì»×WQV����7Ó&ú[Õ�ÉË� c$PÍ\�`>RQ`6\�£�\ Z PSR�Á�� cÏW�»µVnP#]kP#�Ä�WQVX½Q]2»×WQV7]t¾¿R$ Sc[VXW�RQ` À�`6R�Á d�NQPSV×` W¿½�`  ¤d�£$��W�\Od��&dOÄ^` � c ú�]&�&d$��P#]�É9cSd�]¤YQP�PSR»×W�£[R�½á]kW´»{dSVxJÓ õ VXd�c�� \¤d�R�Õ� ��� ������ý ���7Ó&ú[Õ ú�!#" ý%$ û ê Ó{ãµRSd�RQ`  Sc�P f�Õõ c$P­Á[d�NáYQP#��Ä�P�PSRÍ� c$PÌ£�N[NQPSVÂd�R$½á��c�PÍZ WÄ0PSVäYQW�£[R�½Q]O` ]­VXd$��c�PSV.½ËVXd$]&��`  �J� `6\¢`6Z dSV7� cQ`6R�Á�]­cSd[N�NQPSR¢»×WQVÂ]kP f�PSVXd�Z�WS� c$PSV� SZ d$]&]kP#]¼W�»0]t¾�R� Sc[VnW�R[` À�`>R$Ád�£��tW�\¤d$�&d�»�W[V7Ä^c�WS]kP ö÷ PSV{R7ø¾Í»�£�R$ #��` W�R$]2Ä0P b�R�W�Ä d�Rá£�N[NQPSV�YQW�£�R$½Ó&�D£[Z PSV×` d�R�É�Ä�Pd[bSZ ¾U\¤W�R$WS�tW�RQ`  �Õ J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 18: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

� @C��?./#3î1�23î+G@CBD=S12EØF9=SF

�[Ã�d�\ÏN[Z P�¥KÿDP� �PSR$��Z ¾ õ VXd�c$��\Od[Rac�d$]­NSVnW�f�P�½a� c�d$�äP fSPSV�¾Í]t¾�R$ Sc�VnW�RQ` À�`>R$Ád�NQPSV×` W�½Ë`  ­d�£��tW�\¤d$��W�R�ÄK` ��c ú´]&�&d��tP#]Kd�½Ë\�` ��]2daVnP#]kP#�)Ä�WQVn½UW�»äZ PSR�Á�� c´d$�\¤WS]&�� ��� ������ý JÝ4W�Ä�P fSPSVäR�WÎNSVnP� �` ]kPáYQW�£[R�½Ì»×WQV����7Ó&ú[Õ�ÉË� c$PÍ\�`>RQ`6\�£�\ Z PSR�Á�� cÏW�»µVnP#]kP#�Ä�WQVX½Q]2»×WQV7]t¾¿R$ Sc[VXW�RQ` À�`6R�Á d�NQPSV×` W¿½�`  ¤d�£$��W�\Od��&dOÄ^` � c ú�]&�&d$��P#]�É9cSd�]¤YQP�PSR»×W�£[R�½á]kW´»{dSVxJÓ õ VXd�c�� \¤d�R�Õ� ��� ������ý ���7Ó&ú[Õ ú�!#" ý%$ û ê Ó{ãµRSd�RQ`  Sc�P f�Õõ c$P­Á[d�NáYQP#��Ä�P�PSRÍ� c$PÌ£�N[NQPSVÂd�R$½á��c�PÍZ WÄ0PSVäYQW�£[R�½Q]O` ]­VXd$��c�PSV.½ËVXd$]&��`  �J� `6\¢`6Z dSV7� cQ`6R�Á�]­cSd[N�NQPSR¢»×WQVÂ]kP f�PSVXd�Z�WS� c$PSV� SZ d$]&]kP#]¼W�»0]t¾�R� Sc[VnW�R[` À�`>R$Ád�£��tW�\¤d$�&d�»�W[V7Ä^c�WS]kP ö÷ PSV{R7ø¾Í»�£�R$ #��` W�R$]2Ä0P b�R�W�Ä d�Rá£�N[NQPSV�YQW�£�R$½Ó&�D£[Z PSV×` d�R�É�Ä�Pd[bSZ ¾U\¤W�R$WS�tW�RQ`  �Õ J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 19: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

� @C��?./#3î1�23î+G@CBD=S12EØF9=SF

�[Ã�d�\ÏN[Z P�¥KÿDP� �PSR$��Z ¾ õ VXd�c$��\Od[Rac�d$]­NSVnW�f�P�½a� c�d$�äP fSPSV�¾Í]t¾�R$ Sc�VnW�RQ` À�`>R$Ád�NQPSV×` W�½Ë`  ­d�£��tW�\¤d$��W�R�ÄK` ��c ú´]&�&d��tP#]Kd�½Ë\�` ��]2daVnP#]kP#�)Ä�WQVn½UW�»äZ PSR�Á�� c´d$�\¤WS]&�� ��� ������ý JÝ4W�Ä�P fSPSVäR�WÎNSVnP� �` ]kPáYQW�£[R�½Ì»×WQV����7Ó&ú[Õ�ÉË� c$PÍ\�`>RQ`6\�£�\ Z PSR�Á�� cÏW�»µVnP#]kP#�Ä�WQVX½Q]2»×WQV7]t¾¿R$ Sc[VXW�RQ` À�`6R�Á d�NQPSV×` W¿½�`  ¤d�£$��W�\Od��&dOÄ^` � c ú�]&�&d$��P#]�É9cSd�]¤YQP�PSR»×W�£[R�½á]kW´»{dSVxJÓ õ VXd�c�� \¤d�R�Õ� ��� ������ý ���7Ó&ú[Õ ú�!#" ý%$ û ê Ó{ãµRSd�RQ`  Sc�P f�Õõ c$P­Á[d�NáYQP#��Ä�P�PSRÍ� c$PÌ£�N[NQPSVÂd�R$½á��c�PÍZ WÄ0PSVäYQW�£[R�½Q]O` ]­VXd$��c�PSV.½ËVXd$]&��`  �J� `6\¢`6Z dSV7� cQ`6R�Á�]­cSd[N�NQPSR¢»×WQVÂ]kP f�PSVXd�Z�WS� c$PSV� SZ d$]&]kP#]¼W�»0]t¾�R� Sc[VnW�R[` À�`>R$Ád�£��tW�\¤d$�&d�»�W[V7Ä^c�WS]kP ö÷ PSV{R7ø¾Í»�£�R$ #��` W�R$]2Ä0P b�R�W�Ä d�Rá£�N[NQPSV�YQW�£�R$½Ó&�D£[Z PSV×` d�R�É�Ä�Pd[bSZ ¾U\¤W�R$WS�tW�RQ`  �Õ J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 20: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

' �)( ?Ë=�=S?./tñÆ1+*-,a?/.2+.36?Â*,+�( å

0SP#�µ¦¨§ª©�«­¬�®¤¬�¯�°­YQP¢dU���#ãØÄK` ��c Ù « Ù21 ë J õ c�P ½[P#¡� �` PSR�  ¾ W�» dÄ�WQVX½ÛÞ ÇC®µÈKĤJîV�J � J)¦ ` ]µ��c�P­½�` 39PSVnPSR� �P�½Q»�4aÓ�Þ[Õ�§ Ù « Ù û Ù ¯QÓ#«­¬$Þ�Õ Ù JH » daZ P#����PSV ì ÇC®Êc�d$]¼½�P#¡� �` PSR$  ¾ ê ÉË� c$PSRÏP�ÃQd� #��Z ¾´W�R$PÏW�»�� c$P¢��Ä0W»×W�Z�Z W�ÄK`6R�Á ]#` ��£Sd$��` W�R�]­c�d�N�NQPSR�]¥Ü�J õ c$PSVnPÏdSVnP­� c[VnP�P�½�` 3,PSVnPSR$�ä]&�&d$��P#]­Ô � ¬�Ô ý ¬�Ô65­ÇG«³]�£� Sc�� c�d$�

¯QÓ&Ô � ¬ ì Õ0§²¯[Ó&Ô ý ¬ ì Õ0§·¯QÓ&Ô75�¬ ì Õ�Ú

ê J õ c$PSVnPÏdSVnPO»×W�£[V�½�` 3,PSVnPSR$�ä]&�&d$��P#]OÔ � ¬�Ô ý ¬�Ô 5 ¬�Ô68¢ÇØ«²]�£$ Sc´��cSd��¯[Ó&Ô � ¬ ì Õ�§·¯QÓ&Ô ý ¬ ì Õ:9§²¯[Ó&Ô 5 ¬ ì Õ�§²¯[Ó&Ô;8[¬ ì Õ�Ú

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 21: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

' �)( ?Ë=�=S?./tñÆ1+*-,a?/.2+.36?Â*,+�( å

0SP#�µ¦¨§ª©�«­¬�®¤¬�¯�°­YQP¢dU���#ãØÄK` ��c Ù « Ù21 ë J õ c�P ½[P#¡� �` PSR�  ¾ W�» dÄ�WQVX½ÛÞ ÇC®µÈKĤJîV�J � J)¦ ` ]µ��c�P­½�` 39PSVnPSR� �P�½Q»�4aÓ�Þ[Õ�§ Ù « Ù û Ù ¯QÓ#«­¬$Þ�Õ Ù JH » daZ P#����PSV ì ÇC®Êc�d$]¼½�P#¡� �` PSR$  ¾ ê ÉË� c$PSRÏP�ÃQd� #��Z ¾´W�R$PÏW�»�� c$P¢��Ä0W»×W�Z�Z W�ÄK`6R�Á ]#` ��£Sd$��` W�R�]­c�d�N�NQPSR�]¥Ü�J õ c$PSVnPÏdSVnP­� c[VnP�P�½�` 3,PSVnPSR$�ä]&�&d$��P#]­Ô � ¬�Ô ý ¬�Ô65­ÇG«³]�£� Sc�� c�d$�

¯QÓ&Ô � ¬ ì Õ0§²¯[Ó&Ô ý ¬ ì Õ0§·¯QÓ&Ô75�¬ ì Õ�Ú

ê J õ c$PSVnPÏdSVnPO»×W�£[V�½�` 3,PSVnPSR$�ä]&�&d$��P#]OÔ � ¬�Ô ý ¬�Ô 5 ¬�Ô68¢ÇØ«²]�£$ Sc´��cSd��¯[Ó&Ô � ¬ ì Õ�§·¯QÓ&Ô ý ¬ ì Õ:9§²¯[Ó&Ô 5 ¬ ì Õ�§²¯[Ó&Ô;8[¬ ì Õ�Ú

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 22: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

' �)( ?Ë=�=S?./tñÆ1+*-,a?/.2+.36?Â*,+�( å

0SP#�µ¦¨§ª©�«­¬�®¤¬�¯�°­YQP¢dU���#ãØÄK` ��c Ù « Ù21 ë J õ c�P ½[P#¡� �` PSR�  ¾ W�» dÄ�WQVX½ÛÞ ÇC®µÈKĤJîV�J � J)¦ ` ]µ��c�P­½�` 39PSVnPSR� �P�½Q»�4aÓ�Þ[Õ�§ Ù « Ù û Ù ¯QÓ#«­¬$Þ�Õ Ù JH » daZ P#����PSV ì ÇC®Êc�d$]¼½�P#¡� �` PSR$  ¾ ê ÉË� c$PSRÏP�ÃQd� #��Z ¾´W�R$PÏW�»�� c$P¢��Ä0W»×W�Z�Z W�ÄK`6R�Á ]#` ��£Sd$��` W�R�]­c�d�N�NQPSR�]¥Ü�J õ c$PSVnPÏdSVnP­� c[VnP�P�½�` 3,PSVnPSR$�ä]&�&d$��P#]­Ô � ¬�Ô ý ¬�Ô65­ÇG«³]�£� Sc�� c�d$�

¯QÓ&Ô � ¬ ì Õ0§²¯[Ó&Ô ý ¬ ì Õ0§·¯QÓ&Ô75�¬ ì Õ�Ú

ê J õ c$PSVnPÏdSVnPO»×W�£[V�½�` 3,PSVnPSR$�ä]&�&d$��P#]OÔ � ¬�Ô ý ¬�Ô 5 ¬�Ô68¢ÇØ«²]�£$ Sc´��cSd��¯[Ó&Ô � ¬ ì Õ�§·¯QÓ&Ô ý ¬ ì Õ:9§²¯[Ó&Ô 5 ¬ ì Õ�§²¯[Ó&Ô;8[¬ ì Õ�Ú

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 23: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

' �)( ?Ë=�=S?./tñÆ1+*-,a?/.2+.36?Â*,+�( å

0SP#�µ¦¨§ª©�«­¬�®¤¬�¯�°­YQP¢dU���#ãØÄK` ��c Ù « Ù21 ë J õ c�P ½[P#¡� �` PSR�  ¾ W�» dÄ�WQVX½ÛÞ ÇC®µÈKĤJîV�J � J)¦ ` ]µ��c�P­½�` 39PSVnPSR� �P�½Q»�4aÓ�Þ[Õ�§ Ù « Ù û Ù ¯QÓ#«­¬$Þ�Õ Ù JH » daZ P#����PSV ì ÇC®Êc�d$]¼½�P#¡� �` PSR$  ¾ ê ÉË� c$PSRÏP�ÃQd� #��Z ¾´W�R$PÏW�»�� c$P¢��Ä0W»×W�Z�Z W�ÄK`6R�Á ]#` ��£Sd$��` W�R�]­c�d�N�NQPSR�]¥Ü�J õ c$PSVnPÏdSVnP­� c[VnP�P�½�` 3,PSVnPSR$�ä]&�&d$��P#]­Ô � ¬�Ô ý ¬�Ô65­ÇG«³]�£� Sc�� c�d$�

¯QÓ&Ô � ¬ ì Õ0§²¯[Ó&Ô ý ¬ ì Õ0§·¯QÓ&Ô75�¬ ì Õ�Ú

ê J õ c$PSVnPÏdSVnPO»×W�£[V�½�` 3,PSVnPSR$�ä]&�&d$��P#]OÔ � ¬�Ô ý ¬�Ô 5 ¬�Ô68¢ÇØ«²]�£$ Sc´��cSd��¯[Ó&Ô � ¬ ì Õ�§·¯QÓ&Ô ý ¬ ì Õ:9§²¯[Ó&Ô 5 ¬ ì Õ�§²¯[Ó&Ô;8[¬ ì Õ�Ú

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 24: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

' �)( ?Ë=�=S?./tñÆ1+*-,a?/.2+.36?Â*,+�( å

0SP#�µ¦¨§ª©�«­¬�®¤¬�¯�°­YQP¢dU���#ãØÄK` ��c Ù « Ù21 ë J õ c�P ½[P#¡� �` PSR�  ¾ W�» dÄ�WQVX½ÛÞ ÇC®µÈKĤJîV�J � J)¦ ` ]µ��c�P­½�` 39PSVnPSR� �P�½Q»�4aÓ�Þ[Õ�§ Ù « Ù û Ù ¯QÓ#«­¬$Þ�Õ Ù JH » daZ P#����PSV ì ÇC®Êc�d$]¼½�P#¡� �` PSR$  ¾ ê ÉË� c$PSRÏP�ÃQd� #��Z ¾´W�R$PÏW�»�� c$P¢��Ä0W»×W�Z�Z W�ÄK`6R�Á ]#` ��£Sd$��` W�R�]­c�d�N�NQPSR�]¥Ü�J õ c$PSVnPÏdSVnP­� c[VnP�P�½�` 3,PSVnPSR$�ä]&�&d$��P#]­Ô � ¬�Ô ý ¬�Ô65­ÇG«³]�£� Sc�� c�d$�

¯QÓ&Ô � ¬ ì Õ0§²¯[Ó&Ô ý ¬ ì Õ0§·¯QÓ&Ô75�¬ ì Õ�Ú

ê J õ c$PSVnPÏdSVnPO»×W�£[V�½�` 3,PSVnPSR$�ä]&�&d$��P#]OÔ � ¬�Ô ý ¬�Ô 5 ¬�Ô68¢ÇØ«²]�£$ Sc´��cSd��¯[Ó&Ô � ¬ ì Õ�§·¯QÓ&Ô ý ¬ ì Õ:9§²¯[Ó&Ô 5 ¬ ì Õ�§²¯[Ó&Ô;8[¬ ì Õ�Ú

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 25: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

<¼�)( ?Ë=�=S?./tñÆ1+*-,a?/.2+.36?Â*,+�( å

HîRÏ��c�PO¡DVn]&� ]#` � £�d$��` W�R­Ä�P­]�d#¾Ï� c�d$� ì ` ]Kd ½ËVXW�\^P�½�d�V�¾UZ P#���tPSV ÉMd�R$½Ð`>R¢� c$P]kP� �W�R�½U d$]kP¤Ä�P¢]�d#¾Ï� c�d$� ì ` ]Kd YSd� #��V×`�d�RáZ P#���tPSV J

=�>@?6ACBEDGF H�IJH@KLA7M�N HPOQ?RM�ACN S%T ?RD D ?CN =�>C?7ACBEDUF H�IJHCK&AJV@ACBEDGN F A@I�T ?ED D ?@N

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 26: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

<¼�)( ?Ë=�=S?./tñÆ1+*-,a?/.2+.36?Â*,+�( å

HîRÏ��c�PO¡DVn]&� ]#` � £�d$��` W�R­Ä�P­]�d#¾Ï� c�d$� ì ` ]Kd ½ËVXW�\^P�½�d�V�¾UZ P#���tPSV ÉMd�R$½Ð`>R¢� c$P]kP� �W�R�½U d$]kP¤Ä�P¢]�d#¾Ï� c�d$� ì ` ]Kd YSd� #��V×`�d�RáZ P#���tPSV J

=�>@?6ACBEDGF H�IJH@KLA7M�N HPOQ?RM�ACN S%T ?RD D ?CN =�>C?7ACBEDUF H�IJHCK&AJV@ACBEDGN F A@I�T ?ED D ?@N

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 27: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

<¼�)( ?Ë=�=S?./tñÆ1+*-,a?/.2+.36?Â*,+�( å

HîRÏ��c�PO¡DVn]&� ]#` � £�d$��` W�R­Ä�P­]�d#¾Ï� c�d$� ì ` ]Kd ½ËVXW�\^P�½�d�V�¾UZ P#���tPSV ÉMd�R$½Ð`>R¢� c$P]kP� �W�R�½U d$]kP¤Ä�P¢]�d#¾Ï� c�d$� ì ` ]Kd YSd� #��V×`�d�RáZ P#���tPSV J

=�>@?6ACBEDGF H�IJH@KLA7M�N HPOQ?RM�ACN S%T ?RD D ?CN =�>C?7ACBEDUF H�IJHCK&AJV@ACBEDGN F A@I�T ?ED D ?@N

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 28: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

W �)( ?Ë=�=S?./tñÆ1+*-,a?/.2+.36?Â*,+�( å

�SWQV4Pd� Scaú 1YX ÉË� c$PSVXPÍ` ]KdÏ]t¾�R� Sc[VnW�R[` À�`6R�Áád�£��tW�\¤d$�tW�R�Ä^` � cáúÍ]&�td$�tP#]d�R$½ ë `>R�N[£$�^Z P#���tPSVp]¼W�R$P�W�»�ĤcQ`  Sc ` ]¼½MVnW�\^P�½¿dSV�¾ÍÄ^c�WS]kP­]�c$W[Vp�tP#]&�¤VXP#]kP#�Ä�WQVX½¸` ]¼W�»äZ PSR�Á�� caÓ&ú­û ê Õ�ýZ!³Ü�J�SWQV4Pd� Sc´W¿½[½¸ú 1 ë ÉË� c$PSVnPÍ` ]¼d�]t¾¿R$ Sc�VnW�RQ` À�`>R�ÁUd[£$��W�\Od$��W�R�ÄK` � cáú]&�&d$��P#]Kd�R$½ ê `>R�N[£$�KZ P#���tPSVp]KW�R$P�W�»ÂĤcQ`  Sca` ]­YSd� #��V×`�d�R­Ä^c�WS]kP¢]�c$W[Vp�tP#]&�VnP#]kP#�äÄ�WQVX½¸` ]¼W�»äZ PSR�Á�� caÓ&ú­ûAÜ�Õ�Ó&ú¢û ê Õ J��W ��c�P#]kPÍZ W�Ä�PSVäYQW�£[R�½Q]­VnPSNSVnP#]kPSR$�µ��c�POÄ�WQVp]&�ONQWS]&]#`>Y�Z P­ d$]kP�þôHîRÏWS� c$PSVÄ�WQVX½Q]�É7` ]µ��c�P ö÷ PSV{R7ø¾´»�£�R$ #��` W�RÏ»�W[V.� c$P­ SZ d$]&]¼W�»0]t¾�R� Sc[VnW�R[` À�`6R�Ád�£��tW�\¤d$�&d�ÄK` � c´d´½MVnW�\^P�½¿dSV�¾%[�YSd� #��V×`�d�RaZ P#���tPSVÂPQ\M£�d�Z[�tWÓ&ú­û ê Õ ý !²Ü;[�VnP#]�NQP� #��` f�PSZ ¾UÓ&ú­ûAÜ�Õ�Ó&ú¢û ê Õ&þ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 29: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

W �)( ?Ë=�=S?./tñÆ1+*-,a?/.2+.36?Â*,+�( å

�SWQV4Pd� Scaú 1YX ÉË� c$PSVXPÍ` ]KdÏ]t¾�R� Sc[VnW�R[` À�`6R�Áád�£��tW�\¤d$�tW�R�Ä^` � cáúÍ]&�td$�tP#]d�R$½ ë `>R�N[£$�^Z P#���tPSVp]¼W�R$P�W�»�ĤcQ`  Sc ` ]¼½MVnW�\^P�½¿dSV�¾ÍÄ^c�WS]kP­]�c$W[Vp�tP#]&�¤VXP#]kP#�Ä�WQVX½¸` ]¼W�»äZ PSR�Á�� caÓ&ú­û ê Õ�ýZ!³Ü�J�SWQV4Pd� Sc´W¿½[½¸ú 1 ë ÉË� c$PSVnPÍ` ]¼d�]t¾¿R$ Sc�VnW�RQ` À�`>R�ÁUd[£$��W�\Od$��W�R�ÄK` � cáú]&�&d$��P#]Kd�R$½ ê `>R�N[£$�KZ P#���tPSVp]KW�R$P�W�»ÂĤcQ`  Sca` ]­YSd� #��V×`�d�R­Ä^c�WS]kP¢]�c$W[Vp�tP#]&�VnP#]kP#�äÄ�WQVX½¸` ]¼W�»äZ PSR�Á�� caÓ&ú­ûAÜ�Õ�Ó&ú¢û ê Õ J��W ��c�P#]kPÍZ W�Ä�PSVäYQW�£[R�½Q]­VnPSNSVnP#]kPSR$�µ��c�POÄ�WQVp]&�ONQWS]&]#`>Y�Z P­ d$]kP�þôHîRÏWS� c$PSVÄ�WQVX½Q]�É7` ]µ��c�P ö÷ PSV{R7ø¾´»�£�R$ #��` W�RÏ»�W[V.� c$P­ SZ d$]&]¼W�»0]t¾�R� Sc[VnW�R[` À�`6R�Ád�£��tW�\¤d$�&d�ÄK` � c´d´½MVnW�\^P�½¿dSV�¾%[�YSd� #��V×`�d�RaZ P#���tPSVÂPQ\M£�d�Z[�tWÓ&ú­û ê Õ ý !²Ü;[�VnP#]�NQP� #��` f�PSZ ¾UÓ&ú­ûAÜ�Õ�Ó&ú¢û ê Õ&þ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 30: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

W �)( ?Ë=�=S?./tñÆ1+*-,a?/.2+.36?Â*,+�( å

�SWQV4Pd� Scaú 1YX ÉË� c$PSVXPÍ` ]KdÏ]t¾�R� Sc[VnW�R[` À�`6R�Áád�£��tW�\¤d$�tW�R�Ä^` � cáúÍ]&�td$�tP#]d�R$½ ë `>R�N[£$�^Z P#���tPSVp]¼W�R$P�W�»�ĤcQ`  Sc ` ]¼½MVnW�\^P�½¿dSV�¾ÍÄ^c�WS]kP­]�c$W[Vp�tP#]&�¤VXP#]kP#�Ä�WQVX½¸` ]¼W�»äZ PSR�Á�� caÓ&ú­û ê Õ�ýZ!³Ü�J�SWQV4Pd� Sc´W¿½[½¸ú 1 ë ÉË� c$PSVnPÍ` ]¼d�]t¾¿R$ Sc�VnW�RQ` À�`>R�ÁUd[£$��W�\Od$��W�R�ÄK` � cáú]&�&d$��P#]Kd�R$½ ê `>R�N[£$�KZ P#���tPSVp]KW�R$P�W�»ÂĤcQ`  Sca` ]­YSd� #��V×`�d�R­Ä^c�WS]kP¢]�c$W[Vp�tP#]&�VnP#]kP#�äÄ�WQVX½¸` ]¼W�»äZ PSR�Á�� caÓ&ú­ûAÜ�Õ�Ó&ú¢û ê Õ J��W ��c�P#]kPÍZ W�Ä�PSVäYQW�£[R�½Q]­VnPSNSVnP#]kPSR$�µ��c�POÄ�WQVp]&�ONQWS]&]#`>Y�Z P­ d$]kP�þôHîRÏWS� c$PSVÄ�WQVX½Q]�É7` ]µ��c�P ö÷ PSV{R7ø¾´»�£�R$ #��` W�RÏ»�W[V.� c$P­ SZ d$]&]¼W�»0]t¾�R� Sc[VnW�R[` À�`6R�Ád�£��tW�\¤d$�&d�ÄK` � c´d´½MVnW�\^P�½¿dSV�¾%[�YSd� #��V×`�d�RaZ P#���tPSVÂPQ\M£�d�Z[�tWÓ&ú­û ê Õ ý !²Ü;[�VnP#]�NQP� #��` f�PSZ ¾UÓ&ú­ûAÜ�Õ�Ó&ú¢û ê Õ&þ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 31: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

]¼�)( ?Ë=�=S?./tñÆ1+*-,a?/.2+.36?Â*,+�(�^

�SWQV4Pd� Scaú 1 �_! ÜÌR$WS�µ½Ë` f[` ]#`>Y�Z P´Y ¾`� É���c�PSVnPÍ` ]KdÏ]t¾¿R$ Sc[VXW�RQ` À�`6R�Ád�£��tW�\¤d$�tW�R�Ä^` � cáú´]&�td$�tP#]Kd�R$½ ê `>R[N�£��¤Z P#����PSVn]¼W�R$P¢W�»4Ä^c[`  Scac�d$]½�P#¡� �` PSR$  ¾a�áĤc$WS]kP­]�c�WQVp�tP#]&�OVnP#]kP#�äÄ�WQVn½C` ]µW�»µZ PSR$Á���cUÓ&ú­ûAÜ�Õ�Ó&ú¢ûY��Õ J��W¿P#]µ� cQ` ]­Z W�Ä�PSVäYQW�£[R$½[]­VnPSNSVnP#]kPSR��µ� c$P¤Ä�W[Vp]&�­NQWS]&]#`>Y�Z P­ d$]kP�þÆHîRÍWS� c$PSVÄ�WQVX½Q]�É7` ]µ��c�P ö÷ PSV{R7ø¾´»�£�R$ #��` W�RÏ»�W[V.� c$P­ SZ d$]&]¼W�»0]t¾�R� Sc[VnW�R[` À�`6R�Ád�£��tW�\¤d$�&d�ÄK` � c´daZ P#���tPSV.W�»�½[P#¡� �` PSR�  ¾`�UPQ\Ë£Sd[Z¿�tWÒÓ&úOûüÜ�Õ�Ó&ú¢ûY��Õ&þL­Y�]kPSV�fSP­��cSd$�2d$Á[d[`>R¢� c$P�WQV×` Á�`>R�d�Z ö÷ PSVxR7ø¾Í �W�Rtù�P� #��£�VnPÏ �W[V{VnP#]�NQW�R�½a�tWÍ� c$P d$]kPb�̧ÑÜ�J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 32: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

]¼�)( ?Ë=�=S?./tñÆ1+*-,a?/.2+.36?Â*,+�(�^

�SWQV4Pd� Scaú 1 �_! ÜÌR$WS�µ½Ë` f[` ]#`>Y�Z P´Y ¾`� É���c�PSVnPÍ` ]KdÏ]t¾¿R$ Sc[VXW�RQ` À�`6R�Ád�£��tW�\¤d$�tW�R�Ä^` � cáú´]&�td$�tP#]Kd�R$½ ê `>R[N�£��¤Z P#����PSVn]¼W�R$P¢W�»4Ä^c[`  Scac�d$]½�P#¡� �` PSR$  ¾a�áĤc$WS]kP­]�c�WQVp�tP#]&�OVnP#]kP#�äÄ�WQVn½C` ]µW�»µZ PSR$Á���cUÓ&ú­ûAÜ�Õ�Ó&ú¢ûY��Õ J��W¿P#]µ� cQ` ]­Z W�Ä�PSVäYQW�£[R$½[]­VnPSNSVnP#]kPSR��µ� c$P¤Ä�W[Vp]&�­NQWS]&]#`>Y�Z P­ d$]kP�þÆHîRÍWS� c$PSVÄ�WQVX½Q]�É7` ]µ��c�P ö÷ PSV{R7ø¾´»�£�R$ #��` W�RÏ»�W[V.� c$P­ SZ d$]&]¼W�»0]t¾�R� Sc[VnW�R[` À�`6R�Ád�£��tW�\¤d$�&d�ÄK` � c´daZ P#���tPSV.W�»�½[P#¡� �` PSR�  ¾`�UPQ\Ë£Sd[Z¿�tWÒÓ&úOûüÜ�Õ�Ó&ú¢ûY��Õ&þL­Y�]kPSV�fSP­��cSd$�2d$Á[d[`>R¢� c$P�WQV×` Á�`>R�d�Z ö÷ PSVxR7ø¾Í �W�Rtù�P� #��£�VnPÏ �W[V{VnP#]�NQW�R�½a�tWÍ� c$P d$]kPb�̧ÑÜ�J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 33: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

]¼�)( ?Ë=�=S?./tñÆ1+*-,a?/.2+.36?Â*,+�(�^

�SWQV4Pd� Scaú 1 �_! ÜÌR$WS�µ½Ë` f[` ]#`>Y�Z P´Y ¾`� É���c�PSVnPÍ` ]KdÏ]t¾¿R$ Sc[VXW�RQ` À�`6R�Ád�£��tW�\¤d$�tW�R�Ä^` � cáú´]&�td$�tP#]Kd�R$½ ê `>R[N�£��¤Z P#����PSVn]¼W�R$P¢W�»4Ä^c[`  Scac�d$]½�P#¡� �` PSR$  ¾a�áĤc$WS]kP­]�c�WQVp�tP#]&�OVnP#]kP#�äÄ�WQVn½C` ]µW�»µZ PSR$Á���cUÓ&ú­ûAÜ�Õ�Ó&ú¢ûY��Õ J��W¿P#]µ� cQ` ]­Z W�Ä�PSVäYQW�£[R$½[]­VnPSNSVnP#]kPSR��µ� c$P¤Ä�W[Vp]&�­NQWS]&]#`>Y�Z P­ d$]kP�þÆHîRÍWS� c$PSVÄ�WQVX½Q]�É7` ]µ��c�P ö÷ PSV{R7ø¾´»�£�R$ #��` W�RÏ»�W[V.� c$P­ SZ d$]&]¼W�»0]t¾�R� Sc[VnW�R[` À�`6R�Ád�£��tW�\¤d$�&d�ÄK` � c´daZ P#���tPSV.W�»�½[P#¡� �` PSR�  ¾`�UPQ\Ë£Sd[Z¿�tWÒÓ&úOûüÜ�Õ�Ó&ú¢ûY��Õ&þL­Y�]kPSV�fSP­��cSd$�2d$Á[d[`>R¢� c$P�WQV×` Á�`>R�d�Z ö÷ PSVxR7ø¾Í �W�Rtù�P� #��£�VnPÏ �W[V{VnP#]�NQW�R�½a�tWÍ� c$P d$]kPb�̧ÑÜ�J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 34: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

c¼� ò´/&1äó0è6?.E ñ 1ä*²')(�*,+.-0/&12*436573�*98d,¸368µ/kF0�0-9ñ

õ c$P c�¾�YSV×` ½ ö÷ PSVxR7ø¾%[¿ÿ9WQd�½ ÷ W�Z WQV×`6R�Á¸NSVnW�Y�Z PS\ ¥µ` »�dÏ]&��VXW�R�Á�Z ¾Í �W�R[R�P� #��P�½NSV×`6\¢` ��` fSP¢½�` Á�VXd�N[c�ÄK` � cÏ �W�R$]&�td�R$�äW�£$�fex½�P#Á�VnP�P cSd�]­ú´fSPSVp��`  �P#]�É�Ä^cSd$�K` ]� c$PÌ\�`>R[`>\�£�\;Z PSR�Á�� c´W�»2VnP#]kP#�äÄ�WQVn½[]¼»×WQV�` ��]µ]t¾¿R$ Sc�VnW�RQ` À�`>R�Á  �W�Z WQV×`6R�Á�]�þ�SWQV)`>R$]&�td�R� �PSÉ���c�P ö÷ PSVxR7ø¾Ìd�£$��W�\Od��&dÍd�½Ë\¢` �)]t¾¿R$ Sc�VnW�RQ` À�`>R�ÁÎVXP� �W�Z WQV{`>R�Á�]Ä^` � cáNSVnP#����¾´]�c�WQVp�OVnP#]kP#�äÄ�WQVn½[]J

õ c$PÌVnP� �W�Z WQVnP�½Îd�£��tW�\¤d$�tW�Rá` ]­VnP#]kP#�OY ¾Ï� c$POÄ�WQVX½Cí ���� J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 35: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

c¼� ò´/&1äó0è6?.E ñ 1ä*²')(�*,+.-0/&12*436573�*98d,¸368µ/kF0�0-9ñ

õ c$P c�¾�YSV×` ½ ö÷ PSVxR7ø¾%[¿ÿ9WQd�½ ÷ W�Z WQV×`6R�Á¸NSVnW�Y�Z PS\ ¥µ` »�dÏ]&��VXW�R�Á�Z ¾Í �W�R[R�P� #��P�½NSV×`6\¢` ��` fSP¢½�` Á�VXd�N[c�ÄK` � cÏ �W�R$]&�td�R$�äW�£$�fex½�P#Á�VnP�P cSd�]­ú´fSPSVp��`  �P#]�É�Ä^cSd$�K` ]� c$PÌ\�`>R[`>\�£�\;Z PSR�Á�� c´W�»2VnP#]kP#�äÄ�WQVn½[]¼»×WQV�` ��]µ]t¾¿R$ Sc�VnW�RQ` À�`>R�Á  �W�Z WQV×`6R�Á�]�þ�SWQV)`>R$]&�td�R� �PSÉ���c�P ö÷ PSVxR7ø¾Ìd�£$��W�\Od��&dÍd�½Ë\¢` �)]t¾¿R$ Sc�VnW�RQ` À�`>R�ÁÎVXP� �W�Z WQV{`>R�Á�]Ä^` � cáNSVnP#����¾´]�c�WQVp�OVnP#]kP#�äÄ�WQVn½[]J

õ c$PÌVnP� �W�Z WQVnP�½Îd�£��tW�\¤d$�tW�Rá` ]­VnP#]kP#�OY ¾Ï� c$POÄ�WQVX½Cí ���� J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 36: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

c¼� ò´/&1äó0è6?.E ñ 1ä*²')(�*,+.-0/&12*436573�*98d,¸368µ/kF0�0-9ñ

õ c$P c�¾�YSV×` ½ ö÷ PSVxR7ø¾%[¿ÿ9WQd�½ ÷ W�Z WQV×`6R�Á¸NSVnW�Y�Z PS\ ¥µ` »�dÏ]&��VXW�R�Á�Z ¾Í �W�R[R�P� #��P�½NSV×`6\¢` ��` fSP¢½�` Á�VXd�N[c�ÄK` � cÏ �W�R$]&�td�R$�äW�£$�fex½�P#Á�VnP�P cSd�]­ú´fSPSVp��`  �P#]�É�Ä^cSd$�K` ]� c$PÌ\�`>R[`>\�£�\;Z PSR�Á�� c´W�»2VnP#]kP#�äÄ�WQVn½[]¼»×WQV�` ��]µ]t¾¿R$ Sc�VnW�RQ` À�`>R�Á  �W�Z WQV×`6R�Á�]�þ�SWQV)`>R$]&�td�R� �PSÉ���c�P ö÷ PSVxR7ø¾Ìd�£$��W�\Od��&dÍd�½Ë\¢` �)]t¾¿R$ Sc�VnW�RQ` À�`>R�ÁÎVXP� �W�Z WQV{`>R�Á�]Ä^` � cáNSVnP#����¾´]�c�WQVp�OVnP#]kP#�äÄ�WQVn½[]J

gfh7i

gjhlkm

k

ì

ìí

í ìí

í

ì

õ c$PÌVnP� �W�Z WQVnP�½Îd�£��tW�\¤d$�tW�Rá` ]­VnP#]kP#�OY ¾Ï� c$POÄ�WQVX½Cí ���� J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 37: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

c¼� ò´/&1äó0è6?.E ñ 1ä*²')(�*,+.-0/&12*436573�*98d,¸368µ/kF0�0-9ñ

õ c$P c�¾�YSV×` ½ ö÷ PSVxR7ø¾%[¿ÿ9WQd�½ ÷ W�Z WQV×`6R�Á¸NSVnW�Y�Z PS\ ¥µ` »�dÏ]&��VXW�R�Á�Z ¾Í �W�R[R�P� #��P�½NSV×`6\¢` ��` fSP¢½�` Á�VXd�N[c�ÄK` � cÏ �W�R$]&�td�R$�äW�£$�fex½�P#Á�VnP�P cSd�]­ú´fSPSVp��`  �P#]�É�Ä^cSd$�K` ]� c$PÌ\�`>R[`>\�£�\;Z PSR�Á�� c´W�»2VnP#]kP#�äÄ�WQVn½[]¼»×WQV�` ��]µ]t¾¿R$ Sc�VnW�RQ` À�`>R�Á  �W�Z WQV×`6R�Á�]�þ�SWQV)`>R$]&�td�R� �PSÉ���c�P ö÷ PSVxR7ø¾Ìd�£$��W�\Od��&dÍd�½Ë\¢` �)]t¾¿R$ Sc�VnW�RQ` À�`>R�ÁÎVXP� �W�Z WQV{`>R�Á�]Ä^` � cáNSVnP#����¾´]�c�WQVp�OVnP#]kP#�äÄ�WQVn½[]J

gfh7i

gjhlkm

k

ì

ìí

í ìí

ì

í

õ c$PÌVnP� �W�Z WQVnP�½Îd�£��tW�\¤d$�tW�Rá` ]­VnP#]kP#�OY ¾Ï� c$POÄ�WQVX½Cí ���� J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 38: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

ò´/&12ó0è>?ÂE ñC12*²')(0*,+Â-0/&12*43>573�*98d,C3>8µ/kF0�0-9ñ

nÛPÌc�d�fSP­��c�PÍZ WÄ0PSVäYQW�£[R�½Ðú�ý2û ë úo! ë ÓpnA` PSZ d�R$½[�2d�£$��W�\Od��&d�Õ2d�R$½ �W�Rtù�P� #� £[VXP�� c�d$�¼` �K` ]µ��` Á�c��#J÷ c�dSV<d$ #�tPSV×` À�P ��WS�&d�Z�Z ¾�]t¾�R� Sc[VnW�R[` À�`>R$Á ½�` Á�VXd�N[c$]_q�É�� c�d$�^` ]�É�]�£� ScÏ� c�d$�Pd� ScÍ �W�Z WQV{`>R�ÁUW�»�qá` ]µ]t¾�R� Sc[VnW�R[` À�`>R$ÁËJ �SWQV `>R�]&�&d�R$ �PSÉ,£�R$½[PSVxZ ¾[`6R�Á½Ë` Á�VXd�N[c$]¼W�»0��c�P ö÷ PSV{R7ø¾ d�£$��W�\Od��&dÍdSVnP­�tWS�&d[Z>Z ¾�]t¾¿R$ Sc�VnW�RQ` À�`>R�Á�ÉDd[R�½Ì]kWdSVXP:nA` PSZ d�R$½Q����]¼½�` Á�VXd�N[c$]2¾[` PSZ ½�`6R�ÁÌ� c$PÍZ WÄ�PSV)YQW�£�R$½¸`>R�� c$PÍNSVnP f�` W�£$]NSVnW�Y�Z PS\ÏJr)RQ` f�PSVp]�d�ZËVnP#]kP#�äÄ�WQVX½Q]¼»×WQV4dÏÁ�` f�PSRͽ�` Á�VXd�N[c¿¥ Ä0P�]�d ¾Ï� c�d$�2d¢Ä�W[Vn½ÆÅÊ` ]da£[R[` fSPSVp]�d�ZMVnP#]kP#�äÄ�WQVn½a»×WQVZqá` »)` �K` ]KdaVnP#]kP#� Ä�W[Vn½a»�W[VÂP f�PSVp¾]t¾¿R$ Sc[VXW�RQ` À�`6R�Á  �W�Z WQV×`6R�ÁÒW�»sq�J H »tqÒc�d$]­ú´f�PSVp��`  �P#]�ÉËÄ^c�d$�^` ]2� c$P\�`>RQ`6\�£�\ Z PSR�Á�� cÏW�»µ£[R[` f�PSVn]�d[ZMVnP#]kP#�äÄ0W[Vn½Q]K»�W[VuqQþ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 39: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

ò´/&12ó0è>?ÂE ñC12*²')(0*,+Â-0/&12*43>573�*98d,C3>8µ/kF0�0-9ñ

nÛPÌc�d�fSP­��c�PÍZ WÄ0PSVäYQW�£[R�½Ðú�ý2û ë úo! ë ÓpnA` PSZ d�R$½[�2d�£$��W�\Od��&d�Õ2d�R$½ �W�Rtù�P� #� £[VXP�� c�d$�¼` �K` ]µ��` Á�c��#J÷ c�dSV<d$ #�tPSV×` À�P ��WS�&d�Z�Z ¾�]t¾�R� Sc[VnW�R[` À�`>R$Á ½�` Á�VXd�N[c$]_q�É�� c�d$�^` ]�É�]�£� ScÏ� c�d$�Pd� ScÍ �W�Z WQV{`>R�ÁUW�»�qá` ]µ]t¾�R� Sc[VnW�R[` À�`>R$ÁËJ �SWQV `>R�]&�&d�R$ �PSÉ,£�R$½[PSVxZ ¾[`6R�Á½Ë` Á�VXd�N[c$]¼W�»0��c�P ö÷ PSV{R7ø¾ d�£$��W�\Od��&dÍdSVnP­�tWS�&d[Z>Z ¾�]t¾¿R$ Sc�VnW�RQ` À�`>R�Á�ÉDd[R�½Ì]kWdSVXP:nA` PSZ d�R$½Q����]¼½�` Á�VXd�N[c$]2¾[` PSZ ½�`6R�ÁÌ� c$PÍZ WÄ�PSV)YQW�£�R$½¸`>R�� c$PÍNSVnP f�` W�£$]NSVnW�Y�Z PS\ÏJr)RQ` f�PSVp]�d�ZËVnP#]kP#�äÄ�WQVX½Q]¼»×WQV4dÏÁ�` f�PSRͽ�` Á�VXd�N[c¿¥ Ä0P�]�d ¾Ï� c�d$�2d¢Ä�W[Vn½ÆÅÊ` ]da£[R[` fSPSVp]�d�ZMVnP#]kP#�äÄ�WQVn½a»×WQVZqá` »)` �K` ]KdaVnP#]kP#� Ä�W[Vn½a»�W[VÂP f�PSVp¾]t¾¿R$ Sc[VXW�RQ` À�`6R�Á  �W�Z WQV×`6R�ÁÒW�»sq�J H »tqÒc�d$]­ú´f�PSVp��`  �P#]�ÉËÄ^c�d$�^` ]2� c$P\�`>RQ`6\�£�\ Z PSR�Á�� cÏW�»µ£[R[` f�PSVn]�d[ZMVnP#]kP#�äÄ0W[Vn½Q]K»�W[VuqQþ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 40: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

ò´/&12ó0è>?ÂE ñC12*²')(0*,+Â-0/&12*43>573�*98d,C3>8µ/kF0�0-9ñ

nÛPÌc�d�fSP­��c�PÍZ WÄ0PSVäYQW�£[R�½Ðú�ý2û ë úo! ë ÓpnA` PSZ d�R$½[�2d�£$��W�\Od��&d�Õ2d�R$½ �W�Rtù�P� #� £[VXP�� c�d$�¼` �K` ]µ��` Á�c��#J÷ c�dSV<d$ #�tPSV×` À�P ��WS�&d�Z�Z ¾�]t¾�R� Sc[VnW�R[` À�`>R$Á ½�` Á�VXd�N[c$]_q�É�� c�d$�^` ]�É�]�£� ScÏ� c�d$�Pd� ScÍ �W�Z WQV{`>R�ÁUW�»�qá` ]µ]t¾�R� Sc[VnW�R[` À�`>R$ÁËJ��SWQV `>R�]&�&d�R$ �PSÉ,£�R$½[PSVxZ ¾[`6R�Á½Ë` Á�VXd�N[c$]¼W�»0��c�P ö÷ PSV{R7ø¾ d�£$��W�\Od��&dÍdSVnP­�tWS�&d[Z>Z ¾�]t¾¿R$ Sc�VnW�RQ` À�`>R�Á�ÉDd[R�½Ì]kWdSVXP:nA` PSZ d�R$½Q����]¼½�` Á�VXd�N[c$]2¾[` PSZ ½�`6R�ÁÌ� c$PÍZ WÄ�PSV)YQW�£�R$½¸`>R�� c$PÍNSVnP f�` W�£$]NSVnW�Y�Z PS\ÏJr)RQ` f�PSVp]�d�ZËVnP#]kP#�äÄ�WQVX½Q]¼»×WQV4dÏÁ�` f�PSRͽ�` Á�VXd�N[c¿¥ Ä0P�]�d ¾Ï� c�d$�2d¢Ä�W[Vn½ÆÅÊ` ]da£[R[` fSPSVp]�d�ZMVnP#]kP#�äÄ�WQVn½a»×WQVZqá` »)` �K` ]KdaVnP#]kP#� Ä�W[Vn½a»�W[VÂP f�PSVp¾]t¾¿R$ Sc[VXW�RQ` À�`6R�Á  �W�Z WQV×`6R�ÁÒW�»sq�J H »tqÒc�d$]­ú´f�PSVp��`  �P#]�ÉËÄ^c�d$�^` ]2� c$P\�`>RQ`6\�£�\ Z PSR�Á�� cÏW�»µ£[R[` f�PSVn]�d[ZMVnP#]kP#�äÄ0W[Vn½Q]K»�W[VuqQþ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 41: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

ò´/&12ó0è>?ÂE ñC12*²')(0*,+Â-0/&12*43>573�*98d,C3>8µ/kF0�0-9ñ

nÛPÌc�d�fSP­��c�PÍZ WÄ0PSVäYQW�£[R�½Ðú�ý2û ë úo! ë ÓpnA` PSZ d�R$½[�2d�£$��W�\Od��&d�Õ2d�R$½ �W�Rtù�P� #� £[VXP�� c�d$�¼` �K` ]µ��` Á�c��#J÷ c�dSV<d$ #�tPSV×` À�P ��WS�&d�Z�Z ¾�]t¾�R� Sc[VnW�R[` À�`>R$Á ½�` Á�VXd�N[c$]_q�É�� c�d$�^` ]�É�]�£� ScÏ� c�d$�Pd� ScÍ �W�Z WQV{`>R�ÁUW�»�qá` ]µ]t¾�R� Sc[VnW�R[` À�`>R$ÁËJ��SWQV `>R�]&�&d�R$ �PSÉ,£�R$½[PSVxZ ¾[`6R�Á½Ë` Á�VXd�N[c$]¼W�»0��c�P ö÷ PSV{R7ø¾ d�£$��W�\Od��&dÍdSVnP­�tWS�&d[Z>Z ¾�]t¾¿R$ Sc�VnW�RQ` À�`>R�Á�ÉDd[R�½Ì]kWdSVXP:nA` PSZ d�R$½Q����]¼½�` Á�VXd�N[c$]2¾[` PSZ ½�`6R�ÁÌ� c$PÍZ WÄ�PSV)YQW�£�R$½¸`>R�� c$PÍNSVnP f�` W�£$]NSVnW�Y�Z PS\ÏJr)RQ` f�PSVp]�d�ZËVnP#]kP#�äÄ�WQVX½Q]¼»×WQV4dÏÁ�` f�PSRͽ�` Á�VXd�N[c¿¥ Ä0P�]�d ¾Ï� c�d$�2d¢Ä�W[Vn½ÆÅÊ` ]da£[R[` fSPSVp]�d�ZMVnP#]kP#�äÄ�WQVn½a»×WQVZqá` »)` �K` ]KdaVnP#]kP#� Ä�W[Vn½a»�W[VÂP f�PSVp¾]t¾¿R$ Sc[VXW�RQ` À�`6R�Á  �W�Z WQV×`6R�ÁÒW�»sq�J H »tqÒc�d$]­ú´f�PSVp��`  �P#]�ÉËÄ^c�d$�^` ]2� c$P\�`>RQ`6\�£�\ Z PSR�Á�� cÏW�»µ£[R[` f�PSVn]�d[ZMVnP#]kP#�äÄ0W[Vn½Q]K»�W[VuqQþ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 42: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

ò´/&12ó0è>?ÂE ñC12*²')(0*,+Â-0/&12*43>573�*98d,C3>8µ/kF0�0-9ñ

nÛPÌc�d�fSP­��c�PÍZ WÄ0PSVäYQW�£[R�½Ðú�ý2û ë úo! ë ÓpnA` PSZ d�R$½[�2d�£$��W�\Od��&d�Õ2d�R$½ �W�Rtù�P� #� £[VXP�� c�d$�¼` �K` ]µ��` Á�c��#J÷ c�dSV<d$ #�tPSV×` À�P ��WS�&d�Z�Z ¾�]t¾�R� Sc[VnW�R[` À�`>R$Á ½�` Á�VXd�N[c$]_q�É�� c�d$�^` ]�É�]�£� ScÏ� c�d$�Pd� ScÍ �W�Z WQV{`>R�ÁUW�»�qá` ]µ]t¾�R� Sc[VnW�R[` À�`>R$ÁËJ��SWQV `>R�]&�&d�R$ �PSÉ,£�R$½[PSVxZ ¾[`6R�Á½Ë` Á�VXd�N[c$]¼W�»0��c�P ö÷ PSV{R7ø¾ d�£$��W�\Od��&dÍdSVnP­�tWS�&d[Z>Z ¾�]t¾¿R$ Sc�VnW�RQ` À�`>R�Á�ÉDd[R�½Ì]kWdSVXP:nA` PSZ d�R$½Q����]¼½�` Á�VXd�N[c$]2¾[` PSZ ½�`6R�ÁÌ� c$PÍZ WÄ�PSV)YQW�£�R$½¸`>R�� c$PÍNSVnP f�` W�£$]NSVnW�Y�Z PS\ÏJr)RQ` f�PSVp]�d�ZËVnP#]kP#�äÄ�WQVX½Q]¼»×WQV4dÏÁ�` f�PSRͽ�` Á�VXd�N[c¿¥ Ä0P�]�d ¾Ï� c�d$�2d¢Ä�W[Vn½ÆÅÊ` ]da£[R[` fSPSVp]�d�ZMVnP#]kP#�äÄ�WQVn½a»×WQVZqá` »)` �K` ]KdaVnP#]kP#� Ä�W[Vn½a»�W[VÂP f�PSVp¾]t¾¿R$ Sc[VXW�RQ` À�`6R�Á  �W�Z WQV×`6R�ÁÒW�»sq�J¼H »tqÒc�d$]­ú´f�PSVp��`  �P#]�ÉËÄ^c�d$�^` ]2� c$P\�`>RQ`6\�£�\ Z PSR�Á�� cÏW�»µ£[R[` f�PSVn]�d[ZMVnP#]kP#�äÄ0W[Vn½Q]K»�W[VuqQþ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 43: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

c¼�Ðð F./&?/*$B0è ')(�*,+.-0/&12*4365 FD=¿3612*

± �¿VnW�\Ê� c$POf�` P Ä^NQW¿`6R��2W�»�� VXd�R�]�NQW[Vp�&d���` W�RaR$P#��Ä�WQVxb�� c$P­ �W�R�]&�&d�R��W�£$�fex½�P#Á�VnP�PÏ �W�R�½�` ��` W�R´½�W�P#]­R�WS�ä]kP�PS\Ê�tWÒYQPÌR�d$� £[VXd�Z>J nÛPÌVXd$� c$PSV7Ä d�R���tWÌ¡9R$½Ud�]t¾¿R$ Sc�VnW�RQ` À�`>R�Á  �W�Z WQV×`6R�Áá»�W[V�d�R´dSVxYQ` � VXdSVp¾Ï]&� VnW�R�Á�Z ¾Í �W�R�R$P� #�tP�½NSV×`6\¢` ��` fSP¢½�` Á�VXd�N[c`q�É�� c$P R[£[\ÏYQPSV.W�»� �W�Z W[Vp]�YQP�`6R�ÁÌ� c$PÌ\Od�ÿ`>\Od[ZW�£$�fex½�P#Á�VnP�PÏW�»tq�Jv4£$�K`6R�� c$P¢d�Y�]kPSR� �P¢W�»0��c�P­ �W�R�]&�&d�R��µW�£��wex½[P#Á�VnP�PÏ �W�R$½Ë` ��` W�R[ÉM��c�PVnP#]�£�Z ��`>R$Áád[£$��W�\Od$��W�Rͦyx{z&|�}J~�}7����` ]O`>R� �W�\�N�Z P#�tP�J�nÛPÌR$P�P�½Òd]�£[` �&d[Y�Z PÍ\¤W�½Ë` ¡� d$��` W�RÏW�»4��c�PÌR$WS��` W�R´W�»�dÏ]t¾¿R$ Sc[VXW�RQ` À�`6R�Áád�£��tW�\¤d$�tW�R»×WQVÂ��c[` ]¼ d$]kP�J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 44: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

c¼�Ðð F./&?/*$B0è ')(�*,+.-0/&12*4365 FD=¿3612*

± �¿VnW�\Ê� c$POf�` P Ä^NQW¿`6R��2W�»�� VXd�R�]�NQW[Vp�&d���` W�RaR$P#��Ä�WQVxb�� c$P­ �W�R�]&�&d�R��W�£$�fex½�P#Á�VnP�PÏ �W�R�½�` ��` W�R´½�W�P#]­R�WS�ä]kP�PS\Ê�tWÒYQPÌR�d$� £[VXd�Z>J+nÛPÌVXd$� c$PSV7Ä d�R���tWÌ¡9R$½Ud�]t¾¿R$ Sc�VnW�RQ` À�`>R�Á  �W�Z WQV×`6R�Áá»�W[V�d�R´dSVxYQ` � VXdSVp¾Ï]&� VnW�R�Á�Z ¾Í �W�R�R$P� #�tP�½NSV×`6\¢` ��` fSP¢½�` Á�VXd�N[c`q�É�� c$P R[£[\ÏYQPSV.W�»� �W�Z W[Vp]�YQP�`6R�ÁÌ� c$PÌ\Od�ÿ`>\Od[ZW�£$�fex½�P#Á�VnP�PÏW�»tq�Jv4£$�K`6R�� c$P¢d�Y�]kPSR� �P¢W�»0��c�P­ �W�R�]&�&d�R��µW�£��wex½[P#Á�VnP�PÏ �W�R$½Ë` ��` W�R[ÉM��c�PVnP#]�£�Z ��`>R$Áád[£$��W�\Od$��W�Rͦyx{z&|�}J~�}7����` ]O`>R� �W�\�N�Z P#�tP�J�nÛPÌR$P�P�½Òd]�£[` �&d[Y�Z PÍ\¤W�½Ë` ¡� d$��` W�RÏW�»4��c�PÌR$WS��` W�R´W�»�dÏ]t¾¿R$ Sc[VXW�RQ` À�`6R�Áád�£��tW�\¤d$�tW�R»×WQVÂ��c[` ]¼ d$]kP�J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 45: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

c¼�Ðð F./&?/*$B0è ')(�*,+.-0/&12*4365 FD=¿3612*

± �¿VnW�\Ê� c$POf�` P Ä^NQW¿`6R��2W�»�� VXd�R�]�NQW[Vp�&d���` W�RaR$P#��Ä�WQVxb�� c$P­ �W�R�]&�&d�R��W�£$�fex½�P#Á�VnP�PÏ �W�R�½�` ��` W�R´½�W�P#]­R�WS�ä]kP�PS\Ê�tWÒYQPÌR�d$� £[VXd�Z>J+nÛPÌVXd$� c$PSV7Ä d�R���tWÌ¡9R$½Ud�]t¾¿R$ Sc�VnW�RQ` À�`>R�Á  �W�Z WQV×`6R�Áá»�W[V�d�R´dSVxYQ` � VXdSVp¾Ï]&� VnW�R�Á�Z ¾Í �W�R�R$P� #�tP�½NSV×`6\¢` ��` fSP¢½�` Á�VXd�N[c`q�É�� c$P R[£[\ÏYQPSV.W�»� �W�Z W[Vp]�YQP�`6R�ÁÌ� c$PÌ\Od�ÿ`>\Od[ZW�£$�fex½�P#Á�VnP�PÏW�»tq�Jv4£$�K`6R�� c$P¢d�Y�]kPSR� �P¢W�»0��c�P­ �W�R�]&�&d�R��µW�£��wex½[P#Á�VnP�PÏ �W�R$½Ë` ��` W�R[ÉM��c�PVnP#]�£�Z ��`>R$Áád[£$��W�\Od$��W�Rͦyx{z&|�}J~�}7����` ]O`>R� �W�\�N�Z P#�tP�J�nÛPÌR$P�P�½Òd]�£[` �&d[Y�Z PÍ\¤W�½Ë` ¡� d$��` W�RÏW�»4��c�PÌR$WS��` W�R´W�»�dÏ]t¾¿R$ Sc[VXW�RQ` À�`6R�Áád�£��tW�\¤d$�tW�R»×WQVÂ��c[` ]¼ d$]kP�J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 46: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

���¼�Ðð F./&?/*$B0è ')(�*,+.-0/&12*4365 FD=�3î12*

nÛP­]�d ¾´��cSd��¢Åü§ ì �+�Q�Q� ì�� ÄK` ��c ì � ¬�Ú�Ú�Ú�¬ ì�� ÇC®Ê` ]¼d�� ì;�j���p�%���j�&���;�Å�� �f� »×WQV�¦ ` »eä¯[Ó&Ôˬ ì � Õ^` ]¼½[P#¡9R$P�½á»�W[V�d�Z�ZMÔáÇØ«­Éeä¯[Ó&Ôˬ ì6� Õ)ÄK` ��cUÜ_�������Í` ]µ½�P#¡DR�P�½ »×WQV4d�Z�Z

ÔáÇØ«ÛÚ ì � �Q�Q� ì � ��� Ée Ù «ÛÚ$Å Ù §ÑÜ�J÷ dSVnP »t£[Z¿]t¾�R� Sc[VnW�R[` Àd$��` W�R c�d$]­YQP�PSRU\�£� ScÏ]&� £$½Ë` P�½ÐVXP� �PSR�� Z ¾ d[R�½ÐcSd�]NSVnW�fSP�½a�tWÒYQPÌ\¤WQVnP¢ �W�\ÏN[Z�`  d$��P�½U� c�d�R¢� c$PÌ£$]�£�d�ZQ]t¾¿R$ Sc[VXW�RQ` Àd$��` W�R¿Jõ c$PÌ\�`>RQ`6\�£�\;Z PSR$Á���cÍW�»0 dSVnP »t£[ZDVnP#]kP#�äÄ0W[Vn½Q]Ï\¤d ¾UYQP­P�ÿNQW�R�PSR���` d�Z�W�»� c$PÌR�£[\ÏYQPSV.W�»0]&�td$�tP#]�ÉË Sc$P� Sb�`>R$Áá� c�d$�äd�R´d�£$��W�\Od��tW�Ra` ]¼ dSVnP »t£[Z>Z ¾]t¾¿R$ Sc[VXW�RQ` À�`6R�ÁÒ` ]¢T � T�ã ÷ ��ex �W�\ÏN[Z P#��P�J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 47: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

���¼�Ðð F./&?/*$B0è ')(�*,+.-0/&12*4365 FD=�3î12*

nÛP­]�d ¾´��cSd��¢Åü§ ì �+�Q�Q� ì�� ÄK` ��c ì � ¬�Ú�Ú�Ú�¬ ì�� ÇC®Ê` ]¼d�� ì;�j���p�%���j�&���;�Å�� �f� »×WQV�¦ ` »eä¯[Ó&Ôˬ ì � Õ^` ]¼½[P#¡9R$P�½á»�W[V�d�Z�ZMÔáÇØ«­Éeä¯[Ó&Ôˬ ì6� Õ)ÄK` ��cUÜ_�������Í` ]µ½�P#¡DR�P�½ »×WQV4d�Z�Z

ÔáÇØ«ÛÚ ì � �Q�Q� ì � ��� Ée Ù «ÛÚ$Å Ù §ÑÜ�J÷ dSVnP »t£[Z¿]t¾�R� Sc[VnW�R[` Àd$��` W�R c�d$]­YQP�PSRU\�£� ScÏ]&� £$½Ë` P�½ÐVXP� �PSR�� Z ¾ d[R�½ÐcSd�]NSVnW�fSP�½a�tWÒYQPÌ\¤WQVnP¢ �W�\ÏN[Z�`  d$��P�½U� c�d�R¢� c$PÌ£$]�£�d�ZQ]t¾¿R$ Sc[VXW�RQ` Àd$��` W�R¿Jõ c$PÌ\�`>RQ`6\�£�\;Z PSR$Á���cÍW�»0 dSVnP »t£[ZDVnP#]kP#�äÄ0W[Vn½Q]Ï\¤d ¾UYQP­P�ÿNQW�R�PSR���` d�Z�W�»� c$PÌR�£[\ÏYQPSV.W�»0]&�td$�tP#]�ÉË Sc$P� Sb�`>R$Áá� c�d$�äd�R´d�£$��W�\Od��tW�Ra` ]¼ dSVnP »t£[Z>Z ¾]t¾¿R$ Sc[VXW�RQ` À�`6R�ÁÒ` ]¢T � T�ã ÷ ��ex �W�\ÏN[Z P#��P�J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 48: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

���¼�Ðð F./&?/*$B0è ')(�*,+.-0/&12*4365 FD=�3î12*

nÛP­]�d ¾´��cSd��¢Åü§ ì �+�Q�Q� ì�� ÄK` ��c ì � ¬�Ú�Ú�Ú�¬ ì�� ÇC®Ê` ]¼d�� ì;�j���p�%���j�&���;�Å�� �f� »×WQV�¦ ` »eä¯[Ó&Ôˬ ì � Õ^` ]¼½[P#¡9R$P�½á»�W[V�d�Z�ZMÔáÇØ«­Éeä¯[Ó&Ôˬ ì6� Õ)ÄK` ��cUÜ_�������Í` ]µ½�P#¡DR�P�½ »×WQV4d�Z�Z

ÔáÇØ«ÛÚ ì � �Q�Q� ì � ��� Ée Ù «ÛÚ$Å Ù §ÑÜ�J÷ dSVnP »t£[Z¿]t¾�R� Sc[VnW�R[` Àd$��` W�R c�d$]­YQP�PSRU\�£� ScÏ]&� £$½Ë` P�½ÐVXP� �PSR�� Z ¾ d[R�½ÐcSd�]NSVnW�fSP�½a�tWÒYQPÌ\¤WQVnP¢ �W�\ÏN[Z�`  d$��P�½U� c�d�R¢� c$PÌ£$]�£�d�ZQ]t¾¿R$ Sc[VXW�RQ` Àd$��` W�R¿Jõ c$PÌ\�`>RQ`6\�£�\;Z PSR$Á���cÍW�»0 dSVnP »t£[ZDVnP#]kP#�äÄ0W[Vn½Q]Ï\¤d ¾UYQP­P�ÿNQW�R�PSR���` d�Z�W�»� c$PÌR�£[\ÏYQPSV.W�»0]&�td$�tP#]�ÉË Sc$P� Sb�`>R$Áá� c�d$�äd�R´d�£$��W�\Od��tW�Ra` ]¼ dSVnP »t£[Z>Z ¾]t¾¿R$ Sc[VXW�RQ` À�`6R�ÁÒ` ]¢T � T�ã ÷ ��ex �W�\ÏN[Z P#��P�J

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 49: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

�4�4�Ðð F./&?/*$B0è ')(�*,+.-0/&12*4365 FD=�3î12*

HîR´��c�PO��V<d[R$]�NQWQVp�¤R$P#��Ä�W[V{b��tPSV{\K]^ dSVnP »t£[Z¿]t¾�R$ Sc�VnW�RQ` Àd$��` W�Rá\^Pd�R$]µ��cSd��� c$PSVnPÌ` ]Kd�R `6R�]&� V{£$ #��` W�R�Ä^cQ`  Scá` ]¼d[Z Ä d ¾$]¢NQWS]&]#`6Y[Z P^�tWÍ»×W�Z�Z W�Ä·d[R�½ÌĤcQ`  ScYSV×`6R�Á�]KW�R�P­��W ��c�PÍR$W¿½[POĤcQ`  Scá` ]O`6R$½[PSNQPSR�½[PSR$�2W�»4� c$PÍ`6RQ` ��` d�Z�R�W�½�P�J÷ dSVnP »t£[Z9ÿ9WQd$½ ÷ W�Z WQV×`6R�Á T.VnW�Y�Z PS\´¥ £[R�½[PSV7ĤcQ`  ScÏ �W�R$½Ë` ��` W�R$]K½[W¿P#]Kd]&� VnW�R�Á�Z ¾Í �W�R�R$P� #�tP�½Ò½�` Á�V<d[N�c�q d�½Ë\�` �2dÏ d�VnP »�£�Z�Z ¾´]t¾¿R$ Sc[VXW�RQ` À�`6R�Á �W�Z WQV×`6R�Á�þTÂV×`>\�` ��` f�` ��¾á` ]µ]&��`6Z�ZËR�P� �P#]&]�dSV�¾ÒY[£$�K` �K` ]­R$WS�ä]�£;�Ì �` PSR$�µd�R�¾�\^W[VnP�J õ c$PR�P�Ã��2]�Z�` ½[PÍNSVnP#]kPSR���]^d�RÏP�ÃQd�\�N[Z P­W�» d�]&� VnW�R$Á�Z ¾´ �W�R�R$P� #�tP�½ N�V{`>\¢` ��` f�P½Ë` Á�VXd�N[c�Ä^c[`  ScÌd$½M\¢` ��]OR$Wá dSVnP »t£[Z�Z ¾´]t¾¿R$ Sc�VnW�RQ` À�`>R�Á  �W�Z WQV×`6R�ÁËJ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 50: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

�4�4�Ðð F./&?/*$B0è ')(�*,+.-0/&12*4365 FD=�3î12*

HîR´��c�PO��V<d[R$]�NQWQVp�¤R$P#��Ä�W[V{b��tPSV{\K]^ dSVnP »t£[Z¿]t¾�R$ Sc�VnW�RQ` Àd$��` W�Rá\^Pd�R$]µ��cSd��� c$PSVnPÌ` ]Kd�R `6R�]&� V{£$ #��` W�R�Ä^cQ`  Scá` ]¼d[Z Ä d ¾$]¢NQWS]&]#`6Y[Z P^�tWÍ»×W�Z�Z W�Ä·d[R�½ÌĤcQ`  ScYSV×`6R�Á�]KW�R�P­��W ��c�PÍR$W¿½[POĤcQ`  Scá` ]O`6R$½[PSNQPSR�½[PSR$�2W�»4� c$PÍ`6RQ` ��` d�Z�R�W�½�P�J÷ dSVnP »t£[Z9ÿ9WQd$½ ÷ W�Z WQV×`6R�Á T.VnW�Y�Z PS\´¥ £[R�½[PSV7ĤcQ`  ScÏ �W�R$½Ë` ��` W�R$]K½[W¿P#]Kd]&� VnW�R�Á�Z ¾Í �W�R�R$P� #�tP�½Ò½�` Á�V<d[N�c�q d�½Ë\�` �2dÏ d�VnP »�£�Z�Z ¾´]t¾¿R$ Sc[VXW�RQ` À�`6R�Á �W�Z WQV×`6R�Á�þTÂV×`>\�` ��` f�` ��¾á` ]µ]&��`6Z�ZËR�P� �P#]&]�dSV�¾ÒY[£$�K` �K` ]­R$WS�ä]�£;�Ì �` PSR$�µd�R�¾�\^W[VnP�J õ c$PR�P�Ã��2]�Z�` ½[PÍNSVnP#]kPSR���]^d�RÏP�ÃQd�\�N[Z P­W�» d�]&� VnW�R$Á�Z ¾´ �W�R�R$P� #�tP�½ N�V{`>\¢` ��` f�P½Ë` Á�VXd�N[c�Ä^c[`  ScÌd$½M\¢` ��]OR$Wá dSVnP »t£[Z�Z ¾´]t¾¿R$ Sc�VnW�RQ` À�`>R�Á  �W�Z WQV×`6R�ÁËJ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 51: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

�4�4�Ðð F./&?/*$B0è ')(�*,+.-0/&12*4365 FD=�3î12*

HîR´��c�PO��V<d[R$]�NQWQVp�¤R$P#��Ä�W[V{b��tPSV{\K]^ dSVnP »t£[Z¿]t¾�R$ Sc�VnW�RQ` Àd$��` W�Rá\^Pd�R$]µ��cSd��� c$PSVnPÌ` ]Kd�R `6R�]&� V{£$ #��` W�R�Ä^cQ`  Scá` ]¼d[Z Ä d ¾$]¢NQWS]&]#`6Y[Z P^�tWÍ»×W�Z�Z W�Ä·d[R�½ÌĤcQ`  ScYSV×`6R�Á�]KW�R�P­��W ��c�PÍR$W¿½[POĤcQ`  Scá` ]O`6R$½[PSNQPSR�½[PSR$�2W�»4� c$PÍ`6RQ` ��` d�Z�R�W�½�P�J÷ dSVnP »t£[Z9ÿ9WQd$½ ÷ W�Z WQV×`6R�Á T.VnW�Y�Z PS\´¥ £[R�½[PSV7ĤcQ`  ScÏ �W�R$½Ë` ��` W�R$]K½[W¿P#]Kd]&� VnW�R�Á�Z ¾Í �W�R�R$P� #�tP�½Ò½�` Á�V<d[N�c�q d�½Ë\�` �2dÏ d�VnP »�£�Z�Z ¾´]t¾¿R$ Sc[VXW�RQ` À�`6R�Á �W�Z WQV×`6R�Á�þTÂV×`>\�` ��` f�` ��¾á` ]µ]&��`6Z�ZËR�P� �P#]&]�dSV�¾ÒY[£$�K` �K` ]­R$WS�ä]�£;�Ì �` PSR$�µd�R�¾�\^W[VnP�J õ c$PR�P�Ã��2]�Z�` ½[PÍNSVnP#]kPSR���]^d�RÏP�ÃQd�\�N[Z P­W�» d�]&� VnW�R$Á�Z ¾´ �W�R�R$P� #�tP�½ N�V{`>\¢` ��` f�P½Ë` Á�VXd�N[c�Ä^c[`  ScÌd$½M\¢` ��]OR$Wá dSVnP »t£[Z�Z ¾´]t¾¿R$ Sc�VnW�RQ` À�`>R�Á  �W�Z WQV×`6R�ÁËJ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 52: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

�4�4�Ðð F./&?/*$B0è ')(�*,+.-0/&12*4365 FD=�3î12*

HîR´��c�PO��V<d[R$]�NQWQVp�¤R$P#��Ä�W[V{b��tPSV{\K]^ dSVnP »t£[Z¿]t¾�R$ Sc�VnW�RQ` Àd$��` W�Rá\^Pd�R$]µ��cSd��� c$PSVnPÌ` ]Kd�R `6R�]&� V{£$ #��` W�R�Ä^cQ`  Scá` ]¼d[Z Ä d ¾$]¢NQWS]&]#`6Y[Z P^�tWÍ»×W�Z�Z W�Ä·d[R�½ÌĤcQ`  ScYSV×`6R�Á�]KW�R�P­��W ��c�PÍR$W¿½[POĤcQ`  Scá` ]O`6R$½[PSNQPSR�½[PSR$�2W�»4� c$PÍ`6RQ` ��` d�Z�R�W�½�P�J÷ dSVnP »t£[Z9ÿ9WQd$½ ÷ W�Z WQV×`6R�Á T.VnW�Y�Z PS\´¥ £[R�½[PSV7ĤcQ`  ScÏ �W�R$½Ë` ��` W�R$]K½[W¿P#]Kd]&� VnW�R�Á�Z ¾Í �W�R�R$P� #�tP�½Ò½�` Á�V<d[N�c�q d�½Ë\�` �2dÏ d�VnP »�£�Z�Z ¾´]t¾¿R$ Sc[VXW�RQ` À�`6R�Á �W�Z WQV×`6R�Á�þTÂV×`>\�` ��` f�` ��¾á` ]µ]&��`6Z�ZËR�P� �P#]&]�dSV�¾ÒY[£$�K` �K` ]­R$WS�ä]�£;�Ì �` PSR$�µd�R�¾�\^W[VnP�J õ c$PR�P�Ã��2]�Z�` ½[PÍNSVnP#]kPSR���]^d�RÏP�ÃQd�\�N[Z P­W�» d�]&� VnW�R$Á�Z ¾´ �W�R�R$P� #�tP�½ N�V{`>\¢` ��` f�P½Ë` Á�VXd�N[c�Ä^c[`  ScÌd$½M\¢` ��]OR$Wá dSVnP »t£[Z�Z ¾´]t¾¿R$ Sc�VnW�RQ` À�`>R�Á  �W�Z WQV×`6R�ÁËJ

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���

Page 53: Синхронизируемые автоматы, осень 2010: Открытые проблемы

������� ������� ������������������������������� ����!"#$! %"&%

� å¼�Ðð F./&?/*$B0è ')(�*,+.-0/&12*4365 FD=�3î12*

�Q� �p�n�p� ���&�X� ���X� ���n�X���X� �<�n� �6� �p���X� �n� ���[� �p�������n���