自动机

顾名思义,Automata包是一个包含处理Automata的算法的包。本软件包的功能可以在手册中找到,可以是html格式,也可以是pdf格式。这些包括:为有限自动机识别的语言计算一个有理表达式;为一个有理表达式给定的语言计算一个自动机;使有限自动机最小化;


zbMATH参考文献(14篇文章引用)

显示第1至14个结果,共14个。
按年份排序(引用)

  1. 阿尔梅达,豪尔赫;科斯塔,阿尔弗雷多;凯里亚科格鲁,雷维卡;佩林,多米尼克:关于一个合理的最大比菲克斯码群(2020)
  2. 戴维斯,西尔维:布尔运算的原始性、一致最小性和状态复杂性(2018)
  3. 潘通,杰伊:避免3124和4312的排列计数(2017)
  4. Costa,Alfredo;Steinberg,Benjamin:流动等价的范畴不变量(2016)
  5. Klimann,Ines:自动机半群:两态情形。(2016年)
  6. Nekrashevych,Volodymyr:交配、纸张折叠和(\mathbbPC^2)的自同态(2016)
  7. Albert,Michael H.;Atkinson,M.D.;Vatter,Vincent:几何网格类的膨胀:三个案例研究(2014年)
  8. Albert,Michael;Atkinson,Mike;Brignall,Robert:使用单调网格类的三个模式类的枚举(2012)
  9. Albert,M.H.;Linton,S.A.:以完美的速度增长(2009)
  10. Brown,Ronald;Ghani,Neil;Heyworth,Anne;Wensley,Christopher D.:双陪集系统的字符串重写。(2006年)
  11. Edite Cordeiro;Delgado,Manuel:有限幺半群的相对交换核的计算。(2006年)
  12. 曼努埃尔·德尔加多;何塞·莫雷斯:在\texttgappackage sgpviz上。(2006年)
  13. Sakarovitch,Jacques:《语言、表达式和(小)自动机》(2006)
  14. Delgado,Manuel;Morais,José:给定正则语言的最小正则表达式的逼近(2005)


更多出版物请访问:http://www.gap-system.org/Manuals/pkg/automata/doc/chap0.html