оЮЙЕР MapleTFL (БЕПЯХЪ 0.1.2)

яНДЕПФЮМХЕ

• нАЫЕЕ НОХЯЮМХЕ
• юПУХРЕЙРСПЮ ОЮЙЕРЮ
  • яРПСЙРСПЮ ТЮИКНБ
• яНЦКЮЬЕМХЪ Х ОПЮБХКЮ
  • нТНПЛКЕМХЕ ХЯУНДМНЦН ЙНДЮ
  • хЛЕМЮ ОПНЖЕДСП Х ОЕПЕЛЕММШУ
• нРКЮДЙЮ Х РЕЯРХПНБЮМХЕ

нАЫЕЕ НОХЯЮМХЕ

оЮЙЕР ЯНДЕПФХР РХОШ ДЮММШУ Х ЮКЦНПХРЛШ ДКЪ ОНДДЕПФЙХ РЕНПХХ ТНПЛЮКЭМШУ ЪГШЙНБ Б ЯХЯРЕЛЕ Maple.

юПУХРЕЙРСПЮ ОЮЙЕРЮ

дКЪ ББЕДЕМХЪ МНБШУ РХОНБ, ЯННРБЕРЯРБСЧЫХУ НАЗЕЙРЮЛ РЕНПХХ, ХЯОНКЭГСЕРЯЪ ЛЕУЮМХГЛ ЛНДСКЕИ Х ХМРЕПТЕИЯНБ. дКЪ ОПЕДЯРЮБКЕМХЪ ЯХЛБНКНБ ХЯОНКЭГСЕРЯЪ РХО type/character, дКЪ ОПЕДЯРЮБКЕМХЪ ЖЕОНВЕЙ — РХО type/string. яПЕДХ ЖЕОНВЕЙ ЪГШЙЮ ОПХМХЛЮЕРЯЪ ОНПЪДНЙ — КЕЙЯХЙНЦПЮТХВЕЯЙХИ.

нЯМНБМНИ МНБШИ РХО: Language. б МЕЛ ГЮЙКЧВЕМШ БЯЕ БНГЛНФМНЯРХ ОН ГЮДЮМХЧ, ОПЕНАПЮГНБЮМХЧ Х ЮМЮКХГС ТНПЛЮКЭМШУ ЪГШЙНБ. гЮДЮРЭ ЪГШЙ БНГЛНФМН КЧАНИ ХГ ЯРПСЙРСП ЯКЕДСЧЫЕЦН РХОЮ: ДНОСЯЙЮРЕКЕЛ (Acceptor), ЦЕМЕПЮРНПНЛ (Generator), БШПЮФЕМХЕЛ (Expression). мХФЕ ОПХБЕДЕМЮ ЙПЮРЙЮЪ ДХЮЦПЮЛЛЮ ЙКЮЯЯНБ:

    РХО: Language
    НОЕПЮЖХХ: 
      # ОПНБЕПХРЭ ОПХМЮДКЕФМНЯРЭ ЖЕОНВЙХ ЪГШЙС
      accept( str ) 
      # ЯАПНЯХРЭ ЦЕМЕПЮЖХЧ ЖЕОНВЕЙ
      reset() 
      # БШДЮРЭ ЯКЕДСЧЫСЧ ОН ОНПЪДЙС ЖЕОНВЙС ЪГШЙЮ
      getNextString() 
      # БШДЮРЭ ЯОХЯНЙ ОЕПБШУ n ЖЕОНВЕЙ ЪГШЙЮ 
      # (ЯПЕГ ОН МНЛЕПС ЖЕОНВЙХ)
      getFirstStrings( n )
      # БШДЮРЭ ЯОХЯНЙ БЯЕУ ЖЕОНВЕЙ ЪГШЙЮ 
      # НЦПЮМХВЕММНИ ДКХМШ (ЯПЕГ ОН ДКХМЕ)
      getLengthCut( len )

      # ЦПСООЮ НОЕПЮЖХИ set/get ДКЪ РПЕУ РХОНБ 
      # ГЮДЮЧЫХУ ЯРПСЙРСП
      getAcceptor(),   setAcceptor( acptr ), 
      getGenerator(),  setGenerator( genr ),
      getExpression(), setExpression( expr )

      # ОПНБЕПЙЮ ЯБНИЯРБ
      whatChomskyType() # РХО ОН уНЛЯЙНЛС
      isEmpty() # ОСЯРНРЮ
      isFinite() # ЙНМЕВМНЯРЭ

      # НОЕПЮЖХХ МЮД ЪГШЙЮЛХ
      opUnion(lang) 
      opIntersect(lang)
      opConcat(lang)
      opKleeneStar() 
      opKleenePlus()
      opMorphism(func) 
    

бЯЕ РПЕАСЕЛШЕ НОЕПЮЖХХ МЮД ЪГШЙЮЛХ ПЕЮКХГСЧРЯЪ МЮХАНКЕЕ ОНДУНДЪЫХЛХ ДКЪ ЩРНЦН ГЮДЮЧЫХЛХ ЯРПСЙРСПЮЛХ. бНР АЮГНБШЕ ХМРЕПТЕИЯШ ДКЪ РПЕУ ХУ РХОНБ:

     РХО: Acceptor
     НОЕПЮЖХХ: 
        # ОПНБЕПХРЭ ОПХМЮДКЕФМНЯРЭ ЖЕОНВЙХ ЪГШЙС
        accept( str ) 

        # ОПЕНАПЮГНБЮМХЕ Й ДПСЦХЛ ЯРПСЙРСПЮЛ
        toGenerator()
        toExpression()

     РХО: Generator
     НОЕПЮЖХХ:
        # ЯАПНЯХРЭ ЦЕМЕПЮРНП ЖЕОНВЕЙ
        reset() 
        # БШДЮРЭ ЯКЕДСЧЫСЧ ОН ОНПЪДЙС ЖЕОНВЙС ЪГШЙЮ
        getNextString()

        # ОПЕНАПЮГНБЮМХЕ Й ДПСЦХЛ ЯРПСЙРСПЮЛ
        toAcceptor()
        toExpression()

     РХО: Expression
     НОЕПЮЖХХ:

        # ОПЕДЯРЮБХРЭ Б ЯРПНЙНБНИ ТНПЛЕ
        # Б ВЮЯРМНЯРХ, ДКЪ RegExpr ТНПЛЮ ДНКФМЮ АШРЭ 
        # ЯНБЛЕЯРХЛЮ Я StringTools
        toString()
       
        # ОПЕНАПЮГНБЮМХЕ Й ДПСЦХЛ ЯРПСЙРСПЮЛ
        toAcceptor()
        toGenerator()
    

яРПСЙРСПЮ ТЮИКНБ

йЮРЮКНЦ Я ХЯУНДМШЛХ РЕЙЯРЮЛХ ОЮЙЕРЮ ХЛЕЕР ЯКЕДСЧЫСЧ ЯРПСЙРСПС.

бЯЕ ХЯУНДМШЕ РЕЙЯРШ ПЮЯОНКЮЦЮЧРЯЪ МЮ НДМНЛ СПНБМЕ ЙЮРЮКНЦЮ, ЯХЯРЕЛЮ ХУ ЯКЕДСЧЫЮЪ:

яНЦКЮЬЕМХЪ Х ОПЮБХКЮ

нТНПЛКЕМХЕ ХУНДМНЦН ЙНДЮ

йНЛЛЕМРЮПХХ Х ДХЮЦМНЯРХВЕЯЙХЕ ЯННАЫЕМХЪ ОХЬСРЯЪ МЮ ЮМЦКХИЯЙНЛ ЪГШЙЕ — ДКЪ ХГАЕФЮМХЪ ОПНАКЕЛ Я ЙНДХПНБЙЮЛХ Х ОЕПЕЙКЧВЕМХЪ ПЮЯЙКЮДНЙ;) оН ОНБНДС НРЯРСОНБ, ТНПЛЮРНБ ЙНЛЛЕМРЮПХЕБ Х ОПНВЕЦН — ВСРЭ ОНГФЕ.

хЛЕМЮ ОПНЖЕДСП Х ОЕПЕЛЕММШУ

бНГЭЛЕЛ МЮ БННПСФЕМХЕ ЯКЕДСЧЫХЕ ЯРХКХ ХЛЕМНБЮМХЪ (МНЛЕМЙКЮРСПЮ ОНГЮХЛЯРБНБЮМЮ ХГ Style Guide for Python Code):

• lower_case_with_underscores: ЯКНБЮ ОХЬСРЯЪ ЯРПНВМШЛХ АСЙБЮЛХ, ПЮГДЕКЪЧРЯЪ ОНДВЕПЙХБЮМХЕЛ
• CapWords: ЯКНБЮ ОХЬСРЯЪ ЯКХРМН, ОЕПБШЕ АСЙБШ ЯКНБ ОПНОХЯМШЕ
• mixedCase: ЮМЮКНЦХВМН CapWords, МН ОЕПБЮЪ АСЙБЮ ЯРПНВМЮЪ

бЯЕ ЙКЮЯЯШ (Б МЮЬЕЛ ЯКСВЮЕ ХУ ПНКЭ БШОНКМЪЧР ХМРЕПТЕИЯШ) ХЛЕМСЧРЯЪ Б ЯРХКЕ CapWords, ДНОСЯРХЛШ ЮААПЕБХЮРСПШ Х НАЫЕОПХМЪРШЕ ЯНЙПЮЫЕМХЪ, МЮОПХЛЕП: PushdownAutomaton, RegExp, FiniteAut.

бЯЕ ОПНЖЕДСПШ ХЛЕМСЧРЯЪ Б ЯРХКЕ mixedCase, Я ДНОНКМХРЕКЭМШЛХ ПЮГКХВХЪЛХ:

• ЙНМЯРПСЙРНПШ НАЗЕЙРНБ ХЛЕЧР ОПЕТХЙЯ new, МЮОПХЛЕП: newLanguage()
• ОПНЖЕДСПШ-ВКЕМШ, ОПНБЕПЪЧЫХЕ ЯБНИЯРБЮ, ХЛЕЧР ОПЕТХЙЯ is (ЕЯКХ АСКЕБЯЙХЕ) ХКХ what, МЮОПХЛЕП: isFinite(), whatChomskyType()
• ОПНЖЕДСПШ-ОПЕНАПЮГНБЮРЕКХ (ЙЮЙ ОПЮБХКН ВКЕМШ) ХЛЕЧР ОПЕТХЙЯ to, МЮОПХЛЕП: toAcceptor(), toRegExp()

бЯЕ ГЮЙПШРШЕ (МЕЩЙЯОНПРХПСЕЛШЕ) ОЕПЕЛЕММШЕ ЛНДСКЕИ, НРКХВМШЕ НР ОПНЖЕДСП, ХЛЕМСЧРЯЪ Б ЯРХКЕ lower_case_with_underscores Х ХЛЕЧР ОПЕТХЙЯ m_, МЮОПХЛЕП: m_states_table.

бЯЕ ОЮПЮЛЕРПШ ОПНЖЕДСП ХЛЕМСЧРЯЪ Б ЯРХКЕ lower_case_with_underscores Х ХЛЕЧР ОПЕТХЙЯ p_, МЮОПХЛЕП: p_length.

нРКЮДЙЮ Х РЕЯРХПНБЮМХЕ

дКЪ РЕЯРХПНБЮМХЪ ОЮЙЕРЮ ОПЕДМЮГМЮВЕМ ЛНДСКЭ test.mpl, ЙНРНПШИ ГЮОСЯЙЮЕРЯЪ РЮЙ: cmaple < test.mpl. б МЕЛ ЯНДЕПФХРЯЪ ОНЯКЕДНБЮРЕКЭМНЯРЭ НАЫХУ РЕЯРНБ ДКЪ ОЮЙЕРЮ, Х ЛНЦСР БЙКЧВЮРЭЯЪ ОНЯКЕДНБЮРЕКЭМНЯРХ ДКЪ НРДЕКЭМШУ ВЮЯРЕИ ОЮЙЕРЮ.

дКЪ ОНЯРПНЕМХЪ РЕЯРНБ ХЯОНКЭГСЕРЯЪ ОПНЖЕДСПЮ assert, НОПЕДЕКЪЕЛЮЪ Б Debug.mpl. бШГНБ assert(expr,[par1,par2,...]), ОПНБЕПЪЕР СЯКНБХЕ expr = true, Б ЯКСВЮЕ МЕБШОНКМЕМХЪ БШБНДХР ЯННАЫЕМХЕ НА НЬХАЙЕ Х ЯОХЯНЙ НЯРЮКЭМШУ (МЕНАЪГЮРЕКЭМШУ) ЯБНХУ ОЮПЮЛЕРПНБ, ГЮРЕЛ ДНЯПНВМН ГЮБЕПЬЮЕР Maple-ЯЕЯЯХЧ Я ЙНДНЛ 5.

рЮЙНЕ ГЮБЕПЬЕМХЕ БНГЛНФМН РНКЭЙН Б ЙНМЯНКЭМНЛ ПЕФХЛЕ (cmaple), Б ЦПЮТХВЕЯЙНЛ ФЕ ЯХЯРЕЛЮ ОПНДНКФХР БШВХЯКЕМХЕ РЕЯРНБ.

дКЪ РЕЯРХПНБЮМХЪ ЯБНЕЦН ЛНДСКЪ ЙЮФДШИ ЮБРНП ОХЬЕР Х ОПЕДБЮПХРЕКЭМН ОПНЦНМЪЕР ЯБНЧ ОНЯКЕДНБЮРЕКЭМНЯРЭ РЕЯРНБ (МЮОПХЛЕП, ДКЪ ЛНДСКЪ FiniteAut.mpl ОХЬЕРЯЪ testFiniteAut.mpl). гЮРЕЛ БЯЕ РЕЯРШ БЙКЧВЮЧРЯЪ Б test.mpl ДКЪ ОНКМНЦН ОПНЦНМЮ БЯЕЦН ОЮЙЕРЮ.