{"id":179089,"date":"2013-05-08T15:30:03","date_gmt":"2013-05-08T11:30:03","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=179089"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=179089","title":{"rendered":"\u0427\u0442\u043e-\u0442\u043e \u043f\u043e\u0441\u043b\u043e\u0436\u043d\u0435\u0435 \u0444\u0430\u043a\u0442\u043e\u0440\u0438\u0430\u043b\u0430<\/span>"},"content":{"rendered":"
\t\u0414\u0430\u0432\u043d\u044b\u043c-\u0434\u0430\u0432\u043d\u043e, \u043a\u043e\u0433\u0434\u0430 \u0442\u0440\u0430\u0432\u0430 \u0431\u044b\u043b\u0430 \u0437\u0435\u043b\u0435\u043d\u0435\u0435, \u0430 \u0434\u0435\u0440\u0435\u0432\u044c\u044f \u0432\u044b\u0448\u0435, \u0436\u0438\u043b-\u0431\u044b\u043b \u0442\u0440\u043e\u043b\u043b\u044c, \u043f\u043e \u0438\u043c\u0435\u043d\u0438 Xenocephal. \u0416\u0438\u043b \u043e\u043d, \u0432 \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0435, \u0432\u043e \u043c\u043d\u043e\u0433\u0438\u0445 \u043c\u0435\u0441\u0442\u0430\u0445, \u043d\u043e \u043c\u043d\u0435 \u043f\u043e\u0432\u0435\u0437\u043b\u043e \u0432\u0441\u0442\u0440\u0435\u0442\u0438\u0442\u044c \u0435\u0433\u043e \u043d\u0430 \u043e\u0434\u043d\u043e\u043c \u0444\u043e\u0440\u0443\u043c\u0435<\/a>, \u0433\u0434\u0435 \u044f, \u0432 \u0442\u043e \u0432\u0440\u0435\u043c\u044f, \u043d\u0430\u0431\u0438\u0440\u0430\u043b\u0441\u044f \u0443\u043c\u0430-\u0440\u0430\u0437\u0443\u043c\u0430. \u042f \u0443\u0436\u0435 \u043d\u0435 \u0432\u0441\u043f\u043e\u043c\u043d\u044e \u0442\u043e\u043f\u0438\u043a\u0430, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043f\u0440\u043e\u0442\u0435\u043a\u0430\u043b\u0430 \u0431\u0435\u0441\u0435\u0434\u0430, \u043d\u043e \u0441\u0443\u0442\u044c \u0435\u0435 \u0441\u0432\u043e\u0434\u0438\u043b\u0430\u0441\u044c \u043a \u0442\u043e\u043c\u0443, \u0447\u0442\u043e Xenocephal \u043f\u044b\u0442\u0430\u043b\u0441\u044f \u0443\u0431\u0435\u0434\u0438\u0442\u044c \u0432\u0441\u0435\u0445 \u043e\u043a\u0440\u0443\u0436\u0430\u044e\u0449\u0438\u0445, \u0447\u0442\u043e Lisp (\u0441 \u0435\u0433\u043e \u043c\u0430\u043a\u0440\u043e\u0441\u0430\u043c\u0438) \u2014 \u0432\u0441\u0435\u043c\u0443 \u0433\u043e\u043b\u043e\u0432\u0430, \u0430 C++, \u0441 \u0435\u0433\u043e \u0448\u0430\u0431\u043b\u043e\u043d\u0430\u043c\u0438, \u0436\u0430\u043b\u043a\u043e\u0435 \u043f\u043e\u0434\u043e\u0431\u0438\u0435 \u043b\u0435\u0432\u043e\u0439 \u0440\u0443\u043a\u0438. \u0422\u0430\u043a\u0436\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u043b\u043e\u0441\u044c, \u0447\u0442\u043e \u043d\u0430\u043c\u0435\u0442\u0430\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0432 \u043d\u0435\u043c \u0447\u0442\u043e-\u0442\u043e \u0441\u043b\u043e\u0436\u043d\u0435\u0435 \u043d\u0430\u0431\u0438\u0432\u0448\u0435\u0433\u043e \u043e\u0441\u043a\u043e\u043c\u0438\u043d\u0443 \u0444\u0430\u043a\u0442\u043e\u0440\u0438\u0430\u043b\u0430<\/a> \u043d\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u043c.
<\/a>
\u0423 \u043c\u0435\u043d\u044f, \u0432 \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0435, \u043d\u0435 \u0431\u044b\u043b\u043e \u0432\u043e\u0437\u0440\u0430\u0436\u0435\u043d\u0438\u0439, \u0447\u0442\u043e \u043c\u0430\u043a\u0440\u043e\u0441\u044b Lisp-\u0430 \u2014 \u044d\u0442\u043e \u043d\u0435\u043f\u043e\u043c\u0435\u0440\u043d\u043e \u043a\u0440\u0443\u0442\u043e \u0438, \u0432 \u0442\u043e \u0432\u0440\u0435\u043c\u044f, \u043c\u043d\u0435 \u043d\u0435\u0447\u0435\u0433\u043e \u0431\u044b\u043b\u043e \u0435\u043c\u0443 \u043e\u0442\u0432\u0435\u0442\u0438\u0442\u044c, \u043d\u043e \u0444\u0440\u0430\u0437\u0430 \u043f\u0440\u043e \u0448\u0430\u0431\u043b\u043e\u043d\u044b C++ \u0438 \u0444\u0430\u043a\u0442\u043e\u0440\u0438\u0430\u043b \u0433\u043b\u0443\u0431\u043e\u043a\u043e \u0437\u0430\u0441\u0435\u043b\u0430 \u0432 \u043c\u043e\u0439 \u043d\u0435\u043e\u043a\u0440\u0435\u043f\u0448\u0438\u0439 \u043c\u043e\u0437\u0433 \u0438 \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u043b\u0430 \u0442\u0435\u0440\u0437\u0430\u0442\u044c \u043c\u0435\u043d\u044f \u0438\u0437\u043d\u0443\u0442\u0440\u0438. \u0418 \u0432 \u043e\u0434\u0438\u043d \u0443\u0436\u0430\u0441\u043d\u044b\u0439 \u0434\u0435\u043d\u044c, \u044f \u043f\u043e\u0434\u0443\u043c\u0430\u043b: \u00ab\u041a\u0430\u043a\u043e\u0433\u043e \u0447\u0435\u0440\u0442\u0430??? \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u043e\u043c\u0435\u0442\u0430\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u0443\u0435\u043c!\u00bb<\/p>\n

\u0414\u0440\u0443\u0433\u0438\u043c \u0438\u0441\u0442\u043e\u0447\u043d\u0438\u043a\u043e\u043c \u0432\u0434\u043e\u0445\u043d\u043e\u0432\u0435\u043d\u0438\u044f \u043f\u043e\u0441\u043b\u0443\u0436\u0438\u043b\u0430 \u041a\u043d\u0438\u0433\u0430 \u0414\u0440\u0430\u043a\u043e\u043d\u0430<\/a>. \u0417\u0430\u0434\u0430\u0447\u0430 \u043d\u0430\u0448\u043b\u0430\u0441\u044c \u0431\u044b\u0441\u0442\u0440\u043e. \u042f \u0441\u0447\u0435\u043b, \u0447\u0442\u043e \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u041d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u041a\u043e\u043d\u0435\u0447\u043d\u043e\u0433\u043e \u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0430 (\u041d\u041a\u0410<\/a>) \u0432 \u0414\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u041a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0410\u0432\u0442\u043e\u043c\u0430\u0442 (\u0414\u041a\u0410<\/a>) \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043d\u0435\u0442\u0440\u0438\u0432\u0438\u0430\u043b\u044c\u043d\u0430, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u043f\u044b\u0442\u0430\u0442\u044c\u0441\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0435\u0435 \u043f\u0440\u0438 \u043f\u043e\u043c\u043e\u0449\u0438 \u0448\u0430\u0431\u043b\u043e\u043d\u043e\u0432 C++. \u041d\u0435\u0442\u043b\u0435\u043d\u043d\u044b\u0439 \u0442\u0440\u0443\u0434<\/a> \u0410\u043b\u0435\u043a\u0441\u0430\u043d\u0434\u0440\u0435\u0441\u043a\u0443 \u043f\u043e\u0437\u0432\u043e\u043b\u0438\u043b \u043d\u0430\u0431\u0440\u0430\u0442\u044c \u043a\u0440\u0438\u0442\u0438\u0447\u0435\u0441\u043a\u0443\u044e \u043c\u0430\u0441\u0441\u0443\u2026<\/p>\n

\u041d\u0430\u0447\u0430\u043b \u044f, \u0440\u0430\u0437\u0443\u043c\u0435\u0435\u0442\u0441\u044f, \u0441 \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043e\u0432. \u041c\u043d\u0435 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043b\u043e\u0441\u044c, \u043a\u0430\u043a\u0438\u043c-\u0442\u043e \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0442\u044c \u0433\u0440\u0430\u0444\u044b:<\/p>\n

template <class T, int Src, int Dst, char Chr = 0> struct Edge { enum { Source  = Src,          Dest    = Dst,          Char    = Chr        };   typedef T Next;   static void Dump(void) {printf("%3d -%c-> %3d\\n",Src,Chr,Dst);T::Dump();} }; <\/code><\/pre>\n
  \u0414\u0443\u0433\u0430 \u0433\u0440\u0430\u0444\u0430 \u0437\u0430\u0434\u0430\u0432\u0430\u043b\u0430\u0441\u044c \u0438\u043d\u0434\u0435\u043a\u0441\u0430\u043c\u0438 \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0439 (Src) \u0438 \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0439 (Dst) \u0432\u0435\u0440\u0448\u0438\u043d \u0438 \u043c\u043e\u0433\u043b\u0430 \u0431\u044b\u0442\u044c \u043f\u043e\u0438\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u0430 \u0441\u0438\u043c\u0432\u043e\u043b\u043e\u043c (Chr). \u041d\u0435 \u0438\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0434\u0443\u0433\u0438 (\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u044b\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u043e\u043c \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u044f), \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e, \u043f\u043e\u043c\u0435\u0447\u0430\u043b\u0438\u0441\u044c \u043d\u0443\u043b\u0435\u0432\u044b\u043c \u0441\u0438\u043c\u0432\u043e\u043b\u043e\u043c. \u0422\u0438\u043f Next, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u0439 \u0432 \u044d\u0442\u043e\u043c \u0448\u0430\u0431\u043b\u043e\u043d\u0435, \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0430\u043b \u0435\u0433\u043e \u0432 \u0441\u043f\u0438\u0441\u043e\u043a \u0442\u0438\u043f\u043e\u0432. \u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0434\u0443\u0433\u0438 \u0432 \u044d\u0442\u043e\u0442 \u0441\u043f\u0438\u0441\u043e\u043a \u0431\u044b\u043b\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043e \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c:<\/p>\n
struct NullType {static void Dump(void) {printf("\\n");}};  template <int S, int D, int C, class T, class R> struct AddEdge; template <int S, int D, int C, class R> struct AddEdge<S,D,C,NullType,R> {     typedef typename Edge<R,S,D,C> Result; }; template <int S, int D, int C, class T, class R> struct AddEdge<S,D,C,Edge<T,S,D,C>,R> {     typedef typename AddEdge<S,D,C,T,R>::Result Result; }; template <int S, int D, int C, int s, int d, int c, class T, class R>  struct AddEdge<S,D,C,Edge<T,s,d,c>,R> {     typedef typename AddEdge<S,D,C,T,Edge<R,s,d,c> >::Result Result; }; <\/code><\/pre>\n
  \u0410\u043d\u0430\u043b\u043e\u0433\u0438\u0447\u043d\u043e, \u0431\u044b\u043b\u043e \u043e\u0440\u0433\u0430\u043d\u0438\u0437\u043e\u0432\u0430\u043d\u043e \u0441\u043b\u0438\u044f\u043d\u0438\u0435 \u0441\u043f\u0438\u0441\u043a\u043e\u0432 (\u0431\u043b\u0430\u0433\u043e\u0434\u0430\u0440\u044f \u0443\u0442\u0438\u043d\u043e\u0439 \u0442\u0438\u043f\u0438\u0437\u0430\u0446\u0438\u0438, \u043b\u044e\u0431\u044b\u0445, \u0430 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u0435\u0445, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0442 \u0433\u0440\u0430\u0444\u044b):<\/p>\n
Append<\/b><\/p>\n
\n
template <class A, class B> struct Append; template <class T> struct Append<NullType,T> {     typedef T Result; }; template <int S, int D, int C, class T, class B>  struct Append<Edge<T,S,D,C>,B> {     typedef typename Append<T,Edge<B,S,D,C> >::Result Result; }; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  <\/p>\n
Join<\/b><\/p>\n
\n
template <class A, class B> struct Join; template <class B> struct Join<NullType,B> {     typedef B Result; }; template <int N, class T, class B> struct Join<Set<N,T>,B> {     typedef typename Join<T,typename AddSet<N,B,NullType>::Result>::Result Result; }; template <int S, int D, int C, class T, class B> struct Join<Edge<T,S,D,C>,B> {     typedef typename Join<T,typename AddEdge<S,D,C,B,NullType>::Result>::Result Result; }; template <int N, class S, class T, class B> struct Join<StateList<N,S,T>,B> {     typedef typename Join<T,typename AddState<N,S,B,NullType>::Result>::Result Result; }; template <int Src, int Dst, int a, class S, class T, class B>  struct Join<StateListEx<Src,Dst,a,S,T>,B> {     typedef typename Join<T,typename AddState<Dst,S,B,NullType>::Result>::Result Result; }; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u2026 \u0438 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u0435 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u043e\u0433\u043e \u0444\u0443\u043d\u043a\u0442\u043e\u0440\u0430 \u043a \u043a\u0430\u0436\u0434\u043e\u043c\u0443 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0443 \u0441\u043f\u0438\u0441\u043a\u0430:<\/p>\n
Map<\/b><\/p>\n
\n
template <class T, int V, class R, template <int,int> class F> struct Map; template <int V, class R, template <int,int> class F> struct Map<NullType,V,R,F> {     typedef R Result; }; template <int N, class T, int V, class R, template <int,int> class F>  struct Map<Set<N,T>,V,R,F> {      typedef typename Map<T,V,Set<F<N,V>::Result,R>,F>::Result Result; }; template <class T, int S, int D, int C, int V, class R, template <int,int> class F>  struct Map<Edge<T,S,D,C>,V,R,F> {      typedef typename Map<T,V,Edge<R,F<S,V>::Result,F<D,V>::Result,C>,F>::Result Result; }; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u0422\u0435\u043f\u0435\u0440\u044c, \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043b\u043e\u0441\u044c \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u0435 \u041d\u041a\u0410 \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u0440\u0435\u0433\u0443\u043b\u044f\u0440\u043d\u043e\u0433\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f. \u0421\u0430\u043c\u0430 \u043c\u0435\u0442\u043e\u0434\u0438\u043a\u0430 \u044d\u0442\u043e\u0433\u043e \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044f \u0445\u043e\u0440\u043e\u0448\u043e \u043e\u043f\u0438\u0441\u0430\u043d\u0430 \u0432 \u043a\u043d\u0438\u0433\u0435<\/a>, \u0443\u043f\u043e\u043c\u044f\u043d\u0443\u0442\u043e\u0439 \u0432\u044b\u0448\u0435 \u0438 \u0441\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u043a \u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u0440\u0435\u0433\u0443\u043b\u044f\u0440\u043d\u043e\u0433\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u0437\u0430\u043c\u0435\u043d\u044f\u044e\u0442\u0441\u044f \u043d\u0435\u043a\u0438\u043c\u0438 \u0431\u0430\u0437\u043e\u0432\u044b\u043c\u0438 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044f\u043c\u0438, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u043c\u0438 \u043d\u0435 \u0438\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u043d\u044b\u043c\u0438 \u0434\u0443\u0433\u0430\u043c\u0438. <\/p>\n
  \u0418\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u043d\u0430\u044f \u0434\u0443\u0433\u0430 \u0441\u043e\u0437\u0434\u0430\u0435\u0442\u0441\u044f \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0440\u043d\u043e:<\/p>\n
C<\/b><\/p>\n
\n
template <char Chr> struct C { typedef typename Edge<NullType,0,1,Chr> Result;   enum {Count = 2}; }; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u041d\u0430\u0447\u0430\u043b\u044c\u043d\u0430\u044f \u0438 \u043a\u043e\u043d\u0435\u0447\u043d\u0430\u044f \u0432\u0435\u0440\u0448\u0438\u043d\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u044e\u0442 \u0438\u043d\u0434\u0435\u043a\u0441\u044b 0 \u0438 1 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e.<\/p>\n
  \u0414\u0432\u0430 \u0433\u0440\u0430\u0444\u0430 \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u0441\u0432\u044f\u0437\u0430\u043d\u044b \u0432 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044e \u0430\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u044b \/A|B\/ \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c:<\/p>\n
  \"image\"\/<\/p>\n
D<\/b><\/p>\n
\n
template <int X, int N> struct Add { enum { Result = X+N }; };  template <class A, class B> struct DImpl { private:     typedef typename Append<               typename Map<typename A::Result, 2, NullType, Add>::Result,               typename Map<typename B::Result, A::Count+2, NullType, Add>::Result               >::Result N0;     typedef typename   Edge<N0,0,2> N1;     typedef typename   Edge<N1,0,A::Count+2> N2;     typedef typename   Edge<N2,3,1> N3;   public:     typedef typename   Edge<N3,A::Count+3,1> Result;     enum {Count = A::Count+B::Count+2}; }; template <class T1, class T2, class T3 = NullType, class T4 = NullType, class T5 = NullType> struct D: public DImpl<T1, D<T2,T3,T4,T5> > {}; template <class T1, class T2> struct D<T1,T2,NullType,NullType,NullType>: public DImpl<T1,T2> {}; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u0417\u0434\u0435\u0441\u044c, \u043c\u044b \u00ab\u0441\u043b\u0438\u0432\u0430\u0435\u043c\u00bb \u0434\u0432\u0430 \u0432\u0445\u043e\u0434\u043d\u044b\u0445 \u0433\u0440\u0430\u0444\u0430 (A \u0438 B) (\u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u0438\u0445 \u0432\u0435\u0440\u0448\u0438\u043d\u044b \u043f\u0435\u0440\u0435\u043d\u0443\u043c\u0435\u0440\u0443\u044e\u0442\u0441\u044f), \u043f\u043e\u0441\u043b\u0435 \u0447\u0435\u0433\u043e, \u0441\u043e\u0435\u0434\u0438\u043d\u044f\u0435\u043c \u0438\u0445 \u043d\u0435 \u0438\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u043d\u044b\u043c\u0438 \u0434\u0443\u0433\u0430\u043c\u0438, \u043f\u043e \u0441\u0445\u0435\u043c\u0435, \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u043d\u043e\u0439 \u0432\u044b\u0448\u0435. \u041d\u0430\u0447\u0430\u043b\u044c\u043d\u0430\u044f \u0438 \u043a\u043e\u043d\u0435\u0447\u043d\u0430\u044f \u0432\u0435\u0440\u0448\u0438\u043d\u044b \u043f\u043e \u043f\u0440\u0435\u0436\u043d\u0435\u043c\u0443 \u0438\u043c\u0435\u044e\u0442 \u0438\u043d\u0434\u0435\u043a\u0441\u044b 0 \u0438 1 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e.<\/p>\n
  \u041d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0431\u043e\u043b\u0435\u0435 \u0441\u043b\u043e\u0436\u043d\u043e\u0439 \u0434\u043b\u044f \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u044f \u043e\u043a\u0430\u0437\u0430\u043b\u0430\u0441\u044c \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u044f \/AB\/:<\/p>\n
  \"image\"\/<\/p>\n
E<\/b><\/p>\n
\n
template <int X, int N> struct ConvA { enum { Result = (X==1) ? (X+N-1) : X }; };  template <int X, int N> struct ConvB { enum { Result = (X==1) ? 1 : (X+N) }; };  template <class A, class B> struct EImpl { private:     typedef typename Map<typename A::Result, A::Count, NullType, ConvA>::Result A1;     typedef typename Map<typename B::Result, A::Count, NullType, ConvB>::Result B1;   public:     typedef typename Append<A1,B1>::Result Result;     enum {Count = A::Count+B::Count}; }; template <class T1, class T2, class T3 = NullType, class T4 = NullType, class T5 = NullType> struct E: public EImpl<T1, E<T2,T3,T4,T5> > {}; template <class T1, class T2> struct E<T1,T2,NullType,NullType,NullType>: public EImpl<T1,T2> {}; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u0417\u0434\u0435\u0441\u044c, \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u0434\u0443\u0433\u0438 \u043d\u0435 \u0441\u0442\u0440\u043e\u044f\u0442\u0441\u044f, \u0430 \u0433\u0440\u0430\u0444\u044b \u0441\u043e\u0435\u0434\u0438\u043d\u044f\u044e\u0442\u0441\u044f \u043e\u0431\u0449\u0435\u0439 \u0432\u0435\u0440\u0448\u0438\u043d\u043e\u0439 (\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0439 \u0434\u043b\u044f B \u0438 \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0439 \u0434\u043b\u044f A).<\/p>\n
  \u0421\u0430\u043c\u043e\u0439 \u0441\u043b\u043e\u0436\u043d\u043e\u0439 \u043e\u043a\u0430\u0437\u0430\u043b\u0430\u0441\u044c \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u043a\u0432\u0430\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \/T*\/:<\/p>\n
  \"image\"\/<\/p>\n
Q<\/b><\/p>\n
\n
template <class T, int Min = 0, int Max = 0> struct Q {   Q() {STATIC_ASSERT(Min<=Max, Q_Spec);}  private:   typedef typename Map<typename T::Result, T::Count, NullType, ConvA>::Result A1;   typedef typename Map<typename Q<T,Min,Max-1>::Result,T::Count,NullType,ConvB>::Result B1;  public:   typedef typename Edge<typename Append<A1,B1>::Result,0,T::Count> Result;   enum {Count = T::Count+Q<T,Min,Max-1>::Count}; }; template <class T, int N> struct Q<T,N,N> { private:   typedef typename Map<typename T::Result, T::Count, NullType, ConvA>::Result A1;   typedef typename Map<typename Q<T,N-1,N-1>::Result, T::Count, NullType, ConvB>::Result B1;  public:   typedef typename Append<A1,B1>::Result Result;   enum {Count = T::Count+Q<T,N-1,N-1>::Count}; }; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u041f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u043a\u0432\u0430\u043d\u0442\u0438\u0444\u0438\u0430\u043a\u0442\u043e\u0440\u044b \/T{1}\/ \u0438 \/T{0,1}\/, \u0431\u044b\u043b\u0438 \u043f\u0435\u0440\u0435\u0433\u0440\u0443\u0436\u0435\u043d\u044b \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0434\u043b\u044f \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0432\u0443\u044e\u0449\u0438\u0445 \u0447\u0430\u0441\u0442\u043d\u044b\u0445 \u0441\u043b\u0443\u0447\u0430\u0435\u0432:<\/p>\n
Q<\/b><\/p>\n
\n
template <class T> struct Q<T,1,1>: public T {}; template <class T> struct Q<T,0,0> { private:     typedef typename Edge<typename Map<typename T::Result,2,NullType,Add>::Result,0,2> N0;     typedef typename Edge<N0,3,1> N1;     typedef typename Edge<N1,3,2> N2;   public:     typedef typename Edge<N2,0,1> Result;     enum {Count = T::Count+2}; }; template <class T> struct Q<T,1,0> { public:     typedef typename Edge<typename T::Result,1,0> Result;     enum {Count = T::Count}; }; template <class T> struct Q<T,0,1> { public:     typedef typename Edge<typename T::Result,0,1> Result;     enum {Count = T::Count}; }; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u0422\u0435\u043f\u0435\u0440\u044c, \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u0441\u043e\u0431\u0440\u0430\u0442\u044c \u041d\u041a\u0410, \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0449\u0438\u0439 \u0440\u0435\u0433\u0443\u043b\u044f\u0440\u043d\u043e\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \/(a|b)*aab\/, \u043e\u043f\u0438\u0441\u0430\u043d\u043d\u043e\u0435 \u0432 \u043a\u043d\u0438\u0433\u0435:<\/p>\n
typedef E< Q< D< C<'a'>, C<'b'> > >, C<'a'>, C<'b'>, C<'b'> >::Result G; <\/code><\/pre>\n
  \u041e\u0441\u0442\u0430\u043b\u043e\u0441\u044c \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u0442\u044c \u0435\u0433\u043e \u0432 \u0414\u041a\u0410:<\/p>\n
DFA<\/b><\/p>\n
\n
enum CONSTS {    MAX_FIN_STATE = 9 };  template <class Graph> class DFAImpl; template <class T, int Src, int Dst, char Chr> class DFAImpl<Edge<T,Src,Dst,Chr> >: public DFAImpl<typename T> { public:     typedef typename    DFAImpl<typename T>::ResultType ResultType;     ResultType          Parse(char C)     {       if ((State==Src)&&(C==Chr)) {            State = Dst;            if (State<MAX_FIN_STATE) {                State = 0;                return rtSucceed;            }            return rtNotCompleted;       }       return DFAImpl<typename T>::Parse(C);     }     void Dump(void) {T::Dump();} }; template <> class DFAImpl<NullType> { public:     DFAImpl():          State(0) {}     enum ResultType {        rtNotCompleted = 0,        rtSucceed      = 1,        rtFailed       = 2     };     ResultType          Parse(char C)     {  State = 0;        return rtFailed;     }   protected:     int                 State; };  \/\/ \u0412\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0445\u043e\u0434\u0430 (\u0441\u043f\u0438\u0441\u043a\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439) \u0438\u0437 \u0432\u0435\u0440\u0448\u0438\u043d\u044b (\u041f\u0440\u0438 a==0 - e-\u0445\u043e\u0434)  \/\/ N - \u0423\u0437\u0435\u043b \/\/ T - \u0413\u0440\u0430\u0444 \/\/ R - \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0435\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \/\/ a - \u0421\u0438\u043c\u0432\u043e\u043b \u0430\u043b\u0444\u0430\u0432\u0438\u0442\u0430 template <int N, class T, class R, int a = 0> struct Move; template <int N, class R, int a> struct Move<N,NullType,R,a> {typedef R Result;}; template <int N, class T, int D, class R, int a> struct Move<N,Edge<T,N,D,a>,R,a> { typedef typename Move<N,T,typename AddSet<D,R,NullType>::Result,a>::Result Result; }; template <int N, int M, class T, int D, class R, int a, int b>  struct Move<N,Edge<T,M,D,b>,R,a> { typedef typename Move<N,T,R,a>::Result Result; };  \/\/ \u0424\u0438\u043b\u044c\u0442\u0440\u0430\u0446\u0438\u044f \u0441\u043f\u0438\u0441\u043a\u0430 \u043f\u043e \u0443\u0441\u043b\u043e\u0432\u0438\u044e F \/\/ T - \u0418\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u0441\u043f\u0438\u0441\u043e\u043a (Set, StateListEx) \/\/ \u0421 - \u0417\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u0430 F \/\/ R - \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0439 \u0441\u043f\u0438\u0441\u043e\u043a (Set, StateListEx) \/\/ F - \u041f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 (Exist, NotExist, Important) template <class T, class C, class R, template <int,class> class F> struct Filter; template <class C, class R, template <int,class> class F>  struct Filter<NullType,C,R,F> {typedef R Result;}; template <int N, class T, class C, class R, template <int,class> class F>  struct Filter<Set<N,T>,C,R,F> { typedef typename If<F<N,C>::Result,                       typename Filter<T,C,typename Set<N,R>,F>::Result,                       typename Filter<T,C,R,F>::Result                      >::Result Result; }; template <int Src, int Dst, int a, class S, class T, class C, class R, template <int,class> class F>  struct Filter<StateListEx<Src,Dst,a,S,T>,C,R,F> { typedef typename If<F<Dst,C>::Result,                       typename Filter<T,C,typename StateListEx<Src,Dst,a,S,R>,F>::Result,                       typename Filter<T,C,R,F>::Result                      >::Result Result; };  \/\/ \u0412\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 e-\u0437\u0430\u043c\u044b\u043a\u0430\u043d\u0438\u044f \/\/ T - \u041d\u0430\u0447\u0430\u043b\u044c\u043d\u044b\u0439 \u0441\u043f\u0438\u0441\u043e\u043a \u0443\u0437\u043b\u043e\u0432 \/\/ G - \u0413\u0440\u0430\u0444 \/\/ R - \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0439 \u0441\u043f\u0438\u0441\u043e\u043a \u0443\u0437\u043b\u043e\u0432 template <class T, class G, class R> struct EClos; template <class G, class R> struct EClos<NullType,G,R> {typedef R Result;}; template <int N, class T, class G, class R>  struct EClos<Set<N,T>,G,R> { private:     typedef typename Move<N,G,NullType>::Result L;     typedef typename Filter<L,typename Append<T,R>::Result,NullType,NotExist>::Result F;   public:     typedef typename EClos<typename Append<T,F>::Result,G,                            typename Set<N,R>                           >::Result Result; };  \/\/ \u0412\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0445\u043e\u0434\u0430 \u0438\u0437 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u0432\u0435\u0440\u0448\u0438\u043d \/\/ T - \u0421\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \/\/ G - \u0413\u0440\u0430\u0444 \/\/ R - \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0435\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \/\/ a - \u0421\u0438\u043c\u0432\u043e\u043b \u0430\u043b\u0444\u0430\u0432\u0438\u0442\u0430 template <class T, class G, class R, int a> struct MoveSet; template <class G, class R, int a> struct MoveSet<NullType,G,R,a> {typedef R Result;}; template <int N, class T, class G, class R, int a>  struct MoveSet<Set<N,T>,G,R,a> { typedef typename MoveSet<T,G,typename Join<R,typename Move<N,G,NullType,a>::Result>::Result,a>::Result Result; };  \/\/ \u0412\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0441\u043f\u0438\u0441\u043a\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439, \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u044b\u0445 \u0432\u0441\u0435\u043c\u0438 \u0445\u043e\u0434\u0430\u043c\u0438 \u0438\u0437 \u0432\u0435\u0440\u0448\u0438\u043d\u044b \/\/ N - \u0413\u0435\u043d\u0435\u0440\u0430\u0442\u043e\u0440 \u043d\u043e\u043c\u0435\u0440\u043e\u0432 \u0443\u0437\u043b\u043e\u0432 \/\/ K - \u0413\u0435\u043d\u0435\u0440\u0430\u0442\u043e\u0440 \u043d\u043e\u043c\u0435\u0440\u043e\u0432 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0445 \u0443\u0437\u043b\u043e\u0432 \/\/ T - \u0410\u043b\u0444\u0430\u0432\u0438\u0442 \/\/ n - \u0422\u0435\u043a\u0443\u0449\u0438\u0439 \u0443\u0437\u0435\u043b \/\/ S - \u0422\u0435\u043a\u0443\u0449\u0435\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 (Set) \/\/ G - \u0413\u0440\u0430\u0444 \/\/ R - \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0439 \u0441\u043f\u0438\u0441\u043e\u043a \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u043d\u044b\u0445 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 template <int N, int K, class T, int n, class S, class G, class R> struct MoveList; template <int N, int K, int n, class S, class G, class R>  struct MoveList<N,K,NullType,n,S,G,R> {typedef R Result;}; template <int N, int K, int a, class T, int n, class S, class G, class R>  struct MoveList<N,K,Set<a,T>,n,S,G,R> { private:     typedef typename MoveSet<S,G,NullType,a>::Result S0;     typedef typename EClos<S0,G,NullType>::Result S1;     enum { N1 = (NotExist<1,S1>::Result)?K:N };   public:     typedef typename MoveList<(N==N1)?(N+1):N,                               (K==N1)?(K+1):K,                               T,n,S,G,                               StateListEx<n,N1,a,S1,R> >::Result Result; };  \/\/ \u041f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u0435 \u0430\u043b\u0444\u0430\u0432\u0438\u0442\u0430 \u044f\u0437\u044b\u043a\u0430 \u043f\u043e \u0433\u0440\u0430\u0444\u0443 NFA (\u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0442\u044c \u043e\u0434\u043d\u043e\u043a\u0440\u0430\u0442\u043d\u043e \u043d\u0430 \u0432\u0435\u0440\u0445\u043d\u0435\u043c \u0443\u0440\u043e\u0432\u043d\u0435) \/\/ T - \u0413\u0440\u0430\u0444 \/\/ R - \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0439 \u0430\u043b\u0444\u0430\u0432\u0438\u0442 template <class T, class R> struct Alf; template <class R> struct Alf<NullType,R> {typedef R Result;}; template <class T, int S, int D, class R> struct Alf<Edge<T,S,D,0>,R> {     typedef typename Alf<T,R>::Result Result; }; template <class T, int S, int D, int a, class R> struct Alf<Edge<T,S,D,a>,R>{      typedef typename Alf<T, typename AddSet<a,R,NullType>::Result>::Result Result; };  \/\/ \u0418\u043d\u043a\u0440\u0435\u043c\u0435\u043d\u0442 \u0433\u0435\u043d\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u0443\u0437\u043b\u043e\u0432 \/\/ T - \u0421\u043f\u0438\u0441\u043e\u043a \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 (StateListEx) \/\/ R - \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0435\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0433\u0435\u043d\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \/\/ F - \u041f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 (Exist, NotExist) template <class T, int R, template <int,class> class F> struct Incr; template <int R, template <int,class> class F>  struct Incr<NullType,R,F> {enum {Result = R};}; template <int Src, int N, int a, class S, class T, int R, template <int,class> class F>  struct Incr<StateListEx<Src,N,a,S,T>,R,F> { enum { Result = Incr<T, (F<1,S>::Result)?((N>=R)?(N+1):R):R, F>::Result}; };  \/\/ \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0437\u043d\u0430\u0447\u0438\u043c\u043e\u0433\u043e \u0443\u0437\u043b\u0430 \/\/ N - \u0423\u0437\u0435\u043b \/\/ G - \u0413\u0440\u0430\u0444 template <int N, class G> struct Important; template <int N> struct Important<N,NullType> {enum {Result = (N==1)};}; template <int N, class T, int D>  struct Important<N,Edge<T,N,D,0> > {     enum { Result = Important<N,T>::Result }; }; template <int N, class T, int D, int C>  struct Important<N,Edge<T,N,D,C> > {     enum {Result = true}; }; template <int N, class T, int S, int D, int C>  struct Important<N,Edge<T,S,D,C> > {     enum { Result = Important<N,T>::Result }; };  \/\/ \u041e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0435 \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u0435 \u0441\u043f\u0438\u0441\u043a\u0430 \u0437\u043d\u0430\u0447\u0438\u043c\u044b\u0445 \u0443\u0437\u043b\u043e\u0432 \/\/ T - \u0413\u0440\u0430\u0444 \/\/ R - \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0439 \u0441\u043f\u0438\u0441\u043e\u043a template <class T, class R> struct ImportantOpt; template <class R> struct ImportantOpt<NullType,R> {     typedef typename AddSet<1,R,NullType>::Result Result; }; template <class T, int S, int D, class R>  struct ImportantOpt<Edge<T,S,D,0>,R>{      typedef typename ImportantOpt<T,R>::Result Result; }; template <class T, int S, int D, int C, class R>  struct ImportantOpt<Edge<T,S,D,C>,R> {      typedef typename ImportantOpt<T,typename AddSet<S,R,NullType>::Result>::Result Result; };  \/\/ \u0421\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 \u043f\u043e \u0441\u043e\u0432\u043e\u043a\u0443\u043f\u043d\u043e\u0441\u0442\u0438 \u0437\u043d\u0430\u0447\u0438\u043c\u044b\u0445 \u0443\u0437\u043b\u043e\u0432 \/\/ A - \u0421\u043f\u0438\u0441\u043e\u043a \u0443\u0437\u043b\u043e\u0432 (Set) \/\/ B - \u0421\u043f\u0438\u0441\u043e\u043a \u0443\u0437\u043b\u043e\u0432 (Set) \/\/ G - \u0413\u0440\u0430\u0444 \/\/ I - \u0421\u043f\u0438\u0441\u043e\u043a \u0437\u043d\u0430\u0447\u0438\u043c\u044b\u0445 \u0443\u0437\u043b\u043e\u0432 (\u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0442\u044c \u043e\u0434\u043d\u043e\u043a\u0440\u0430\u0442\u043d\u043e \u043d\u0430 \u0432\u0435\u0440\u0445\u043d\u0435\u043c \u0443\u0440\u043e\u0432\u043d\u0435) template <class A, class B, class G> struct EquEx { private:     typedef typename Filter<A,G,NullType,Important>::Result A1;     typedef typename Filter<B,G,NullType,Important>::Result B1;   public:     enum { Result = Equ<A1,B1>::Result }; }; template <class A, class B, class I> struct EquExOpt { private:     typedef typename Filter<A,I,NullType,Exist>::Result A1;     typedef typename Filter<B,I,NullType,Exist>::Result B1;   public:     enum { Result = Equ<A1,B1>::Result }; };  \/\/ \u041f\u043e\u043b\u0443\u0447\u0435\u043d\u0438\u0435 \u0441\u043f\u0438\u0441\u043a\u0430 \u0443\u0437\u043b\u043e\u0432 \/\/ G - \u0413\u0440\u0430\u0444 \/\/ R - \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0439 \u0441\u043f\u0438\u0441\u043e\u043a template <class T, class R> struct EdgeList; template <class R>  struct EdgeList<NullType,R> {typedef R Result;}; template <class T, int S, int D, int C, class R>  struct EdgeList<Edge<T,S,D,C>,R> { private:     typedef typename AddSet<S,R, NullType>::Result R0;     typedef typename AddSet<D,R0,NullType>::Result R1;   public:     typedef typename EdgeList<T,R1>::Result Result; };  \/\/ \u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0432\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u044f (\u043f\u043e \u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u0443 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439) \/\/ T - \u041a\u043e\u043d\u0442\u0440\u043e\u043b\u044c\u043d\u044b\u0439 \u0441\u043f\u0438\u0441\u043e\u043a (StateList) \/\/ S - \u0418\u0441\u043a\u043e\u043c\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 (Set) \/\/ I - \u0421\u043f\u0438\u0441\u043e\u043a \u0437\u043d\u0430\u0447\u0438\u043c\u044b\u0445 \u0443\u0437\u043b\u043e\u0432 template <class T, class S, class I> struct ExistS; template <class S, class I>  struct ExistS<NullType,S,I> {enum {Result = false};}; template <int N, class s, class T, class S, class I>  struct ExistS<StateList<N,s,T>,S,I> { enum { Result = (Equ<s,S>::Result) ? \/\/ EquExOpt<s,S,I>::Result                   true :                   ExistS<T,S,I>::Result        }; };  \/\/ \u041e\u0442\u0431\u0440\u043e\u0441 \u0440\u0430\u043d\u0435\u0435 \u043d\u0430\u0439\u0434\u0435\u043d\u043d\u044b\u0445 \u0443\u0437\u043b\u043e\u0432 \/\/ T - \u0418\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u0441\u043f\u0438\u0441\u043e\u043a (StateListEx) \/\/ \u0421 - \u041a\u043e\u043d\u0442\u0440\u043e\u043b\u044c\u043d\u044b\u0439 \u0441\u043f\u0438\u0441\u043e\u043a (StateList) \/\/ I - \u0421\u043f\u0438\u0441\u043e\u043a \u0437\u043d\u0430\u0447\u0438\u043c\u044b\u0445 \u0443\u0437\u043b\u043e\u0432 (Set) \/\/ R - \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0439 \u0441\u043f\u0438\u0441\u043e\u043a (StateListEx) template <class T, class C, class I, class R> struct FilterT; template <class C, class I, class R>  struct FilterT<NullType,C,I,R> {typedef R Result;}; template <int Src, int Dst, int a, class S, class T, class C, class I, class R>  struct FilterT<StateListEx<Src,Dst,a,S,T>,C,I,R> { typedef typename If<ExistS<C,S,I>::Result,                       typename FilterT<T,C,I,R>::Result,                       typename FilterT<T,C,I,StateListEx<Src,Dst,a,S,R> >::Result                      >::Result Result; };  \/\/ \u0424\u043e\u0440\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0435\u0433\u043e \u0433\u0440\u0430\u0444\u0430 \/\/ T - \u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0440\u0430\u043d\u0435\u0435 \u0441\u0444\u043e\u0440\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0432\u0435\u0440\u0448\u0438\u043d (StateList) \/\/ a - \u0421\u0438\u043c\u0432\u043e\u043b \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430 \u043a \u0438\u0441\u043a\u043e\u043c\u043e\u0439 \u0432\u0435\u0440\u0448\u0438\u043d\u0435 \/\/ S - \u0418\u0441\u0445\u043e\u0434\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 (Set) \/\/ I - \u0421\u043f\u0438\u0441\u043e\u043a \u0437\u043d\u0430\u0447\u0438\u043c\u044b\u0445 \u0443\u0437\u043b\u043e\u0432 \/\/ R - \u0424\u043e\u0440\u043c\u0438\u0440\u0443\u0435\u043c\u044b\u0439 \u0433\u0440\u0430\u0444 template <class T, int Src, int Dst, int a, class S, class I, class R> struct GenImpl; template <int Src, int Dst, int a, class S, class I, class R>  struct GenImpl<NullType,Src,Dst,a,S,I,R> {typedef R Result;}; template <int n, class s, class T, int Src, int Dst, int a, class S, class I, class R>  struct GenImpl<StateList<n,s,T>,Src,Dst,a,S,I,R> { typedef typename If<Equ<s,S>::Result, \/\/ EquExOpt<s,S,I>                       Edge<R,Src,n,a>,                       typename GenImpl<T,Src,Dst,a,S,I,R>::Result                      >::Result Result; };  \/\/ \u0424\u043e\u0440\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0435\u0433\u043e \u0433\u0440\u0430\u0444\u0430 \/\/ T - \u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043d\u043e\u0432\u044b\u0445 \u0443\u0437\u043b\u043e\u0432 \/\/ \u0421 - \u0420\u0430\u043d\u0435\u0435 \u0441\u0444\u043e\u0440\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0443\u0437\u043b\u044b \/\/ I - \u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0437\u043d\u0430\u0447\u0438\u043c\u044b\u0445 \u0443\u0437\u043b\u043e\u0432 \/\/ R - \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0439 \u0433\u0440\u0430\u0444 template <class T, class C, class I, class R> struct Gen; template <class C, class I, class R>  struct Gen<NullType,C,I,R> {typedef R Result;}; template <int Src, int Dst, int a,class S, class T, class C, class I, class R>  struct Gen<StateListEx<Src,Dst,a,S,T>,C,I,R> {      typedef typename Gen<T,C,I,typename GenImpl<C,Src,Dst,a,S,I,R>::Result>::Result Result; };  \/\/ \u0428\u0430\u0433 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u044f \/\/ N - \u0413\u0435\u043d\u0435\u0440\u0430\u0442\u043e\u0440 \u043d\u043e\u043c\u0435\u0440\u043e\u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0445 \u0443\u0437\u043b\u043e\u0432 \/\/ K - \u0413\u0435\u043d\u0435\u0440\u0430\u0442\u043e\u0440 \u043d\u043e\u043c\u0435\u0440\u043e\u0432 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0445 \u0443\u0437\u043b\u043e\u0432 \/\/ G - \u0413\u0440\u0430\u0444 (NFA) \/\/ A - \u0410\u043b\u0444\u0430\u0432\u0438\u0442 (Set) \/\/ I - \u0421\u043f\u0438\u0441\u043e\u043a \u0437\u043d\u0430\u0447\u0438\u043c\u044b\u0445 \u0443\u0437\u043b\u043e\u0432 (Set) \/\/ R - \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0439 \u0433\u0440\u0430\u0444 (DFA) \/\/ M - \u0421\u043f\u0438\u0441\u043e\u043a \u043f\u043e\u043c\u0435\u0447\u0435\u043d\u043d\u044b\u0445 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 (StateList) \/\/ D - \u0421\u043f\u0438\u0441\u043e\u043a \u043d\u0435\u043f\u043e\u043c\u0435\u0447\u0435\u043d\u043d\u044b\u0445 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 (StateListEx) template <int N, int K, class G, class A, class I, class R, class M, class D> struct ConvertImpl; template <int N, int K, class G, class A, class I, class R, class M>  struct ConvertImpl<N,K,G,A,I,R,M,NullType> {typedef R Result;}; template <int N, int K, class G, class A, class I, class R, class M, int Src, int Dst, int a, class S, class D>  struct ConvertImpl<N,K,G,A,I,R,M,StateListEx<Src,Dst,a,S,D> > { private:     typedef typename MoveList<N,K,A,Dst,S,G,NullType>::Result T;     typedef typename StateList<Dst,S,M> M1;     typedef typename Append<D,M1>::Result MD;     typedef typename FilterT<T,MD,I,NullType>::Result T1;     typedef typename AppendSafe<T1,D>::Result D1;     typedef typename Gen<T,typename Append<T1,MD>::Result,I,R>::Result R1;     enum { N1 = Incr<T1,N,Exist>::Result,            K1 = Incr<T1,K,NotExist>::Result          };   public:     typedef typename ConvertImpl<N1,K1,G,A,I,R1,M1,D1>::Result Result; };  \/\/ \u041f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u0435 NFA -> DFA \/\/ G - \u0413\u0440\u0430\u0444 \/\/ R - \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0439 \u0433\u0440\u0430\u0444 template <class G, class R> struct Convert { private:     typedef typename Alf<G,NullType>::Result A;     typedef typename ImportantOpt<G,NullType>::Result I;   public:     typedef typename ConvertImpl<1,MAX_FIN_STATE+1,G,A,I,NullType,NullType,                                  StateListEx<0,0,0,typename EClos<Set<0,NullType>,G,NullType>::Result,NullType> >::Result Result; };  template <class T> class DFA: public DFAImpl<typename Convert<typename T::Result,NullType>::Result> {}; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u042f \u043d\u0435 \u0431\u0443\u0434\u0443 \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u043e \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c \u0432\u0441\u0435 \u043c\u044b\u0442\u0430\u0440\u0441\u0442\u0432\u0430 \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0435 \u0441 \u043e\u0442\u043b\u0430\u0434\u043a\u043e\u0439 \u044d\u0442\u043e\u0433\u043e \u043a\u043e\u0434\u0430 (\u0447\u0435\u0433\u043e \u0441\u0442\u043e\u0438\u043b\u0438 \u043e\u0434\u043d\u0438 \u0442\u043e\u043b\u044c\u043a\u043e \u043a\u0438\u043b\u043e\u043c\u0435\u0442\u0440\u043e\u0432\u044b\u0435 \u043b\u0438\u0441\u0442\u0438\u043d\u0433\u0438 \u0441 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f\u043c\u0438 \u043e\u0431 \u043e\u0448\u0438\u0431\u043a\u0430\u0445 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438), \u0437\u0430\u043c\u0435\u0447\u0443 \u0442\u043e\u043b\u044c\u043a\u043e, \u0447\u0442\u043e \u00ab\u043b\u043e\u0431\u043e\u0432\u0430\u044f\u00bb \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0432\u0435\u0448\u0430\u043b\u0430 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043d\u0430\u043f\u0440\u043e\u0447\u044c, \u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u0447\u0435\u0433\u043e \u043f\u0440\u0438\u0448\u043b\u043e\u0441\u044c \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0448\u0430\u0431\u043b\u043e\u043d ImportantOpt.<\/p>\n
  \u0422\u0435\u043f\u0435\u0440\u044c \u043c\u043e\u0436\u043d\u043e \u0437\u0430\u043f\u0443\u0441\u0442\u0438\u0442\u044c \u043d\u0430 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u043a\u043e\u0434:<\/p>\n
    typedef E< Q< D< C<'a'>, C<'b'> > >, C<'a'>, C<'b'>, C<'b'> >::Result G;     typedef Convert<G,NullType>::Result R;     R::Dump(); <\/code><\/pre>\n
  \u2026 \u0438 \u0443\u0431\u0435\u0434\u0438\u0442\u044c\u0441\u044f, \u0447\u0442\u043e \u0432\u044b\u0434\u0430\u0432\u0430\u0435\u043c\u044b\u0439 \u0438\u043c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442:<\/p>\n
  1 -a->  10   1 -b->  11  13 -a->  10  13 -b->   1  10 -a->  10  10 -b->  13  11 -a->  10  11 -b->  11   0 -a->  10   0 -b->  11 <\/code><\/pre>\n
  \u0421\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0438\u0441\u043a\u043e\u043c\u043e\u043c\u0443 \u0433\u0440\u0430\u0444\u0443 \u0414\u041a\u0410:<\/p>\n
  \"image\"\/       \t \t\t   \t<\/p>\n
<\/div>\n<\/p><\/div>\n
 \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438  http:\/\/habrahabr.ru\/post\/179089\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"
   \t\u0414\u0430\u0432\u043d\u044b\u043c-\u0434\u0430\u0432\u043d\u043e, \u043a\u043e\u0433\u0434\u0430 \u0442\u0440\u0430\u0432\u0430 \u0431\u044b\u043b\u0430 \u0437\u0435\u043b\u0435\u043d\u0435\u0435, \u0430 \u0434\u0435\u0440\u0435\u0432\u044c\u044f \u0432\u044b\u0448\u0435, \u0436\u0438\u043b-\u0431\u044b\u043b \u0442\u0440\u043e\u043b\u043b\u044c, \u043f\u043e \u0438\u043c\u0435\u043d\u0438 Xenocephal. \u0416\u0438\u043b \u043e\u043d, \u0432 \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0435, \u0432\u043e \u043c\u043d\u043e\u0433\u0438\u0445 \u043c\u0435\u0441\u0442\u0430\u0445, \u043d\u043e \u043c\u043d\u0435 \u043f\u043e\u0432\u0435\u0437\u043b\u043e \u0432\u0441\u0442\u0440\u0435\u0442\u0438\u0442\u044c \u0435\u0433\u043e \u043d\u0430 \u043e\u0434\u043d\u043e\u043c \u0444\u043e\u0440\u0443\u043c\u0435<\/a>, \u0433\u0434\u0435 \u044f, \u0432 \u0442\u043e \u0432\u0440\u0435\u043c\u044f, \u043d\u0430\u0431\u0438\u0440\u0430\u043b\u0441\u044f \u0443\u043c\u0430-\u0440\u0430\u0437\u0443\u043c\u0430. \u042f \u0443\u0436\u0435 \u043d\u0435 \u0432\u0441\u043f\u043e\u043c\u043d\u044e \u0442\u043e\u043f\u0438\u043a\u0430, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043f\u0440\u043e\u0442\u0435\u043a\u0430\u043b\u0430 \u0431\u0435\u0441\u0435\u0434\u0430, \u043d\u043e \u0441\u0443\u0442\u044c \u0435\u0435 \u0441\u0432\u043e\u0434\u0438\u043b\u0430\u0441\u044c \u043a \u0442\u043e\u043c\u0443, \u0447\u0442\u043e Xenocephal \u043f\u044b\u0442\u0430\u043b\u0441\u044f \u0443\u0431\u0435\u0434\u0438\u0442\u044c \u0432\u0441\u0435\u0445 \u043e\u043a\u0440\u0443\u0436\u0430\u044e\u0449\u0438\u0445, \u0447\u0442\u043e Lisp (\u0441 \u0435\u0433\u043e \u043c\u0430\u043a\u0440\u043e\u0441\u0430\u043c\u0438) \u2014 \u0432\u0441\u0435\u043c\u0443 \u0433\u043e\u043b\u043e\u0432\u0430, \u0430 C++, \u0441 \u0435\u0433\u043e \u0448\u0430\u0431\u043b\u043e\u043d\u0430\u043c\u0438, \u0436\u0430\u043b\u043a\u043e\u0435 \u043f\u043e\u0434\u043e\u0431\u0438\u0435 \u043b\u0435\u0432\u043e\u0439 \u0440\u0443\u043a\u0438. \u0422\u0430\u043a\u0436\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u043b\u043e\u0441\u044c, \u0447\u0442\u043e \u043d\u0430\u043c\u0435\u0442\u0430\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0432 \u043d\u0435\u043c \u0447\u0442\u043e-\u0442\u043e \u0441\u043b\u043e\u0436\u043d\u0435\u0435 \u043d\u0430\u0431\u0438\u0432\u0448\u0435\u0433\u043e \u043e\u0441\u043a\u043e\u043c\u0438\u043d\u0443 \u0444\u0430\u043a\u0442\u043e\u0440\u0438\u0430\u043b\u0430<\/a> \u043d\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u043c.  <\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-179089","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/179089","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=179089"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/179089\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=179089"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=179089"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=179089"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}