Search dblp for Publications

export results for "finite state automaton"

 download as .bib file

@article{DBLP:journals/es/AbeyrathnaGSJWYLG23,
  author       = {Kuruge Darshana Abeyrathna and
                  Ole{-}Christoffer Granmo and
                  Rishad A. Shafik and
                  Lei Jiao and
                  Adrian Wheeldon and
                  Alex Yakovlev and
                  Jie Lei and
                  Morten Goodwin},
  title        = {A multi-step finite-state automaton for arbitrarily deterministic
                  Tsetlin Machine learning},
  journal      = {Expert Syst. J. Knowl. Eng.},
  volume       = {40},
  number       = {4},
  year         = {2023},
  url          = {https://doi.org/10.1111/exsy.12836},
  doi          = {10.1111/EXSY.12836},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/es/AbeyrathnaGSJWYLG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fi/PaascheG23,
  author       = {Simon Paasche and
                  Sven Groppe},
  title        = {A Finite State Automaton for Green Data Validation in a Real-World
                  Smart Manufacturing Environment with Special Regard to Time-Outs and
                  Overtaking},
  journal      = {Future Internet},
  volume       = {15},
  number       = {11},
  pages        = {349},
  year         = {2023},
  url          = {https://doi.org/10.3390/fi15110349},
  doi          = {10.3390/FI15110349},
  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fi/PaascheG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cejcs/FulopP21,
  author       = {Endre F{\"{u}}l{\"{o}}p and
                  Norbert Pataki},
  title        = {A {DSL} for Resource Checking Using Finite State Automaton-Driven
                  Symbolic Execution},
  journal      = {Open Comput. Sci.},
  volume       = {11},
  number       = {1},
  pages        = {107--115},
  year         = {2021},
  url          = {https://doi.org/10.1515/comp-2020-0120},
  doi          = {10.1515/COMP-2020-0120},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cejcs/FulopP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/ChuLZ20,
  author       = {Wei Chu and
                  Yang Liu and
                  Jianwei Zhou},
  editor       = {Helen Meng and
                  Bo Xu and
                  Thomas Fang Zheng},
  title        = {Recognize Mispronunciations to Improve Non-Native Acoustic Modeling
                  Through a Phone Decoder Built from One Edit Distance Finite State
                  Automaton},
  booktitle    = {Interspeech 2020, 21st Annual Conference of the International Speech
                  Communication Association, Virtual Event, Shanghai, China, 25-29 October
                  2020},
  pages        = {3062--3066},
  publisher    = {{ISCA}},
  year         = {2020},
  url          = {https://doi.org/10.21437/Interspeech.2020-3109},
  doi          = {10.21437/INTERSPEECH.2020-3109},
  timestamp    = {Fri, 29 Jan 2021 17:40:16 +0100},
  biburl       = {https://dblp.org/rec/conf/interspeech/ChuLZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kka/Zielinski20,
  author       = {Cezary Zielinski},
  editor       = {Andrzej Bartoszewicz and
                  Jacek Kabzinski and
                  Janusz Kacprzyk},
  title        = {Specification of Agent Based Robotic Systems Using Hierarchical Finite
                  State Automatons},
  booktitle    = {Advanced, Contemporary Control - Proceedings of {KKA} 2020 - The 20th
                  Polish Control Conference, {\L}{\'{o}}d{\'{z}}, Poland,
                  2020},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {1196},
  pages        = {465--476},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50936-1\_39},
  doi          = {10.1007/978-3-030-50936-1\_39},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kka/Zielinski20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/0003LT20,
  author       = {Daniel D. Johnson and
                  Hugo Larochelle and
                  Daniel Tarlow},
  editor       = {Hugo Larochelle and
                  Marc'Aurelio Ranzato and
                  Raia Hadsell and
                  Maria{-}Florina Balcan and
                  Hsuan{-}Tien Lin},
  title        = {Learning Graph Structure With {A} Finite-State Automaton Layer},
  booktitle    = {Advances in Neural Information Processing Systems 33: Annual Conference
                  on Neural Information Processing Systems 2020, NeurIPS 2020, December
                  6-12, 2020, virtual},
  year         = {2020},
  url          = {https://proceedings.neurips.cc/paper/2020/hash/1fdc0ee9d95c71d73df82ac8f0721459-Abstract.html},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nips/0003LT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sgai/AbeyrathnaGSYWL20,
  author       = {Kuruge Darshana Abeyrathna and
                  Ole{-}Christoffer Granmo and
                  Rishad A. Shafik and
                  Alex Yakovlev and
                  Adrian Wheeldon and
                  Jie Lei and
                  Morten Goodwin},
  editor       = {Max Bramer and
                  Richard Ellis},
  title        = {A Novel Multi-step Finite-State Automaton for Arbitrarily Deterministic
                  Tsetlin Machine Learning},
  booktitle    = {Artificial Intelligence {XXXVII} - 40th {SGAI} International Conference
                  on Artificial Intelligence, {AI} 2020, Cambridge, UK, December 15-17,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12498},
  pages        = {108--122},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63799-6\_8},
  doi          = {10.1007/978-3-030-63799-6\_8},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sgai/AbeyrathnaGSYWL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-02114,
  author       = {Kuruge Darshana Abeyrathna and
                  Ole{-}Christoffer Granmo and
                  Rishad A. Shafik and
                  Alex Yakovlev and
                  Adrian Wheeldon and
                  Jie Lei and
                  Morten Goodwin},
  title        = {A Novel Multi-Step Finite-State Automaton for Arbitrarily Deterministic
                  Tsetlin Machine Learning},
  journal      = {CoRR},
  volume       = {abs/2007.02114},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.02114},
  eprinttype    = {arXiv},
  eprint       = {2007.02114},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-02114.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-04929,
  author       = {Daniel D. Johnson and
                  Hugo Larochelle and
                  Daniel Tarlow},
  title        = {Learning Graph Structure With {A} Finite-State Automaton Layer},
  journal      = {CoRR},
  volume       = {abs/2007.04929},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.04929},
  eprinttype    = {arXiv},
  eprint       = {2007.04929},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-04929.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/EmamM18,
  author       = {Seyedeh Sepideh Emam and
                  James Miller},
  title        = {Inferring Extended Probabilistic Finite-State Automaton Models from
                  Software Executions},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {27},
  number       = {1},
  pages        = {4:1--4:39},
  year         = {2018},
  url          = {https://doi.org/10.1145/3196883},
  doi          = {10.1145/3196883},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tosem/EmamM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Calvo-ZaragozaO17,
  author       = {Jorge Calvo{-}Zaragoza and
                  Jos{\'{e}} Oncina and
                  Colin de la Higuera},
  title        = {Computing the Expected Edit Distance from a String to a Probabilistic
                  Finite-State Automaton},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {28},
  number       = {5},
  pages        = {603--622},
  year         = {2017},
  url          = {https://doi.org/10.1142/S0129054117400093},
  doi          = {10.1142/S0129054117400093},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Calvo-ZaragozaO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KoHS16,
  author       = {Sang{-}Ki Ko and
                  Yo{-}Sub Han and
                  Kai Salomaa},
  title        = {Approximate matching between a context-free grammar and a finite-state
                  automaton},
  journal      = {Inf. Comput.},
  volume       = {247},
  pages        = {278--289},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ic.2016.02.001},
  doi          = {10.1016/J.IC.2016.02.001},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/KoHS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sohoma/BoschiTT16,
  author       = {Filippo Boschi and
                  Giacomo Tavola and
                  Marco Taisch},
  editor       = {Theodor Borangiu and
                  Damien Trentesaux and
                  Andr{\'{e}} Thomas and
                  Paulo Leit{\~{a}}o and
                  Jos{\'{e}} Barata Oliveira},
  title        = {A Description and Analysis Method for Reconfigurable Production Systems
                  Based on Finite State Automaton},
  booktitle    = {Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings
                  of {SOHOMA} 2016, Lisbon, Portugal, October 6-7, 2016},
  series       = {Studies in Computational Intelligence},
  volume       = {694},
  pages        = {349--358},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-51100-9\_31},
  doi          = {10.1007/978-3-319-51100-9\_31},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sohoma/BoschiTT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:books/sp/15/GhigiT15,
  author       = {Fabrizio Ghigi and
                  M. In{\'{e}}s Torres},
  editor       = {Gary Geunbae Lee and
                  Hong Kook Kim and
                  Minwoo Jeong and
                  Ji{-}Hwan Kim},
  title        = {Decision Making Strategies for Finite-State Bi-automaton in Dialog
                  Management},
  booktitle    = {Natural Language Dialog Systems and Intelligent Assistants, 6th International
                  Workshop on Spoken Dialogue Systems, {IWSDS} 2015, Busan, Korea, January
                  11-13, 2015},
  pages        = {209--221},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19291-8\_20},
  doi          = {10.1007/978-3-319-19291-8\_20},
  timestamp    = {Thu, 29 Apr 2021 14:03:13 +0200},
  biburl       = {https://dblp.org/rec/books/sp/15/GhigiT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asru/GlaudeEP15,
  author       = {Hadrien Glaude and
                  Cyrille Enderli and
                  Olivier Pietquin},
  title        = {Spectral learning with non negative probabilities for finite state
                  automaton},
  booktitle    = {2015 {IEEE} Workshop on Automatic Speech Recognition and Understanding,
                  {ASRU} 2015, Scottsdale, AZ, USA, December 13-17, 2015},
  pages        = {71--77},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ASRU.2015.7404776},
  doi          = {10.1109/ASRU.2015.7404776},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/asru/GlaudeEP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/Tamm15,
  author       = {Hellis Tamm},
  editor       = {Jeffrey O. Shallit and
                  Alexander Okhotin},
  title        = {Generalization of the Double-Reversal Method of Finding a Canonical
                  Residual Finite State Automaton},
  booktitle    = {Descriptional Complexity of Formal Systems - 17th International Workshop,
                  {DCFS} 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9118},
  pages        = {268--279},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19225-3\_23},
  doi          = {10.1007/978-3-319-19225-3\_23},
  timestamp    = {Mon, 09 Mar 2020 11:10:41 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/Tamm15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/HanKS13,
  author       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko and
                  Kai Salomaa},
  editor       = {Stavros Konstantinidis},
  title        = {Approximate Matching between a Context-Free Grammar and a Finite-State
                  Automaton},
  booktitle    = {Implementation and Application of Automata - 18th International Conference,
                  {CIAA} 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7982},
  pages        = {146--157},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39274-0\_14},
  doi          = {10.1007/978-3-642-39274-0\_14},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/HanKS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/accs/Speransky12,
  author       = {D. V. Speransky},
  title        = {Fuzzy automaton finite state recognition},
  journal      = {Autom. Control. Comput. Sci.},
  volume       = {46},
  number       = {5},
  pages        = {185--190},
  year         = {2012},
  url          = {https://doi.org/10.3103/S0146411612050070},
  doi          = {10.3103/S0146411612050070},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/accs/Speransky12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/LiK12,
  author       = {Meng Li and
                  Ratnesh Kumar},
  title        = {Model-based automatic test generation for Simulink/Stateflow using
                  extended finite automaton},
  booktitle    = {2012 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2012, Seoul, Korea (South), August 20-24, 2012},
  pages        = {857--862},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/CoASE.2012.6386487},
  doi          = {10.1109/COASE.2012.6386487},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/LiK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccsecis/ZhaoT10,
  author       = {Yuehua Zhao and
                  Yu Tao},
  title        = {Research of Dynamic Information Flow Monitoring Based on Finite State
                  Automaton},
  journal      = {Comput. Inf. Sci.},
  volume       = {3},
  number       = {4},
  pages        = {252--256},
  year         = {2010},
  url          = {https://doi.org/10.5539/cis.v3n4p252},
  doi          = {10.5539/CIS.V3N4P252},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ccsecis/ZhaoT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jca/EttestadC10,
  author       = {David J. Ettestad and
                  Joaquin O. Carbonara},
  title        = {Formulas for the Number of States of an Interesting Finite Cellular
                  Automaton and a Connection to Pascal's Triangle},
  journal      = {J. Cell. Autom.},
  volume       = {5},
  number       = {1-2},
  pages        = {157--166},
  year         = {2010},
  url          = {http://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jca-volume-5-number-1-2-2010/jca-5-1-2-p-157-166/},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jca/EttestadC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaciii/ChibaS07,
  author       = {Shinji Chiba and
                  Ken Sugawara},
  title        = {Estimation of Protein Function Using Optimized Finite State Automaton
                  Based on Accumulated Amino Acid Residue Scores},
  journal      = {J. Adv. Comput. Intell. Intell. Informatics},
  volume       = {11},
  number       = {9},
  pages        = {1129--1135},
  year         = {2007},
  url          = {https://doi.org/10.20965/jaciii.2007.p1129},
  doi          = {10.20965/JACIII.2007.P1129},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jaciii/ChibaS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismir/HosoyaSIM05,
  author       = {Toru Hosoya and
                  Motoyuki Suzuki and
                  Akinori Ito and
                  Shozo Makino},
  title        = {Lyrics Recognition from a Singing Voice Based on Finite State Automaton
                  for Music Information Retrieval},
  booktitle    = {{ISMIR} 2005, 6th International Conference on Music Information Retrieval,
                  London, UK, 11-15 September 2005, Proceedings},
  pages        = {532--535},
  year         = {2005},
  url          = {http://ismir2005.ismir.net/proceedings/2068.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismir/HosoyaSIM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/ChibaS03,
  author       = {Shinji Chiba and
                  Ken Sugawara},
  title        = {Function estimation of protein using finite state automaton based
                  on accumulated amino acid residue scores},
  booktitle    = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
                  2003, Canberra, Australia, December 8-12, 2003},
  pages        = {1833--1839},
  publisher    = {{IEEE}},
  year         = {2003},
  url          = {https://doi.org/10.1109/CEC.2003.1299895},
  doi          = {10.1109/CEC.2003.1299895},
  timestamp    = {Thu, 16 Dec 2021 11:43:24 +0100},
  biburl       = {https://dblp.org/rec/conf/cec/ChibaS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlmta/HuangZ03,
  author       = {Min Lie Huang and
                  Xiao Yan Zhu},
  editor       = {Hamid R. Arabnia and
                  Elena B. Kozerenko},
  title        = {A Novel Method for Dialogue Management Based on The Finite State Automaton},
  booktitle    = {Proceedings of the International Conference on Machine Learning; Models,
                  Technologies and Applications. MLMTA'03, June 23 - 26, 2003, Las Vegas,
                  Nevada, {USA}},
  pages        = {37--43},
  publisher    = {{CSREA} Press},
  year         = {2003},
  timestamp    = {Fri, 10 Oct 2003 11:06:49 +0200},
  biburl       = {https://dblp.org/rec/conf/mlmta/HuangZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/Grinder03,
  author       = {Michael T. Grinder},
  editor       = {Scott Grissom and
                  Deborah Knox and
                  Daniel T. Joyce and
                  Wanda P. Dann},
  title        = {A preliminary empirical evaluation of the effectiveness of a finite
                  state automaton animator},
  booktitle    = {Proceedings of the 34th {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2003, Reno, Nevada, USA, February 19-23, 2003},
  pages        = {157--161},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/611892.611958},
  doi          = {10.1145/611892.611958},
  timestamp    = {Thu, 10 Jun 2021 16:43:03 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcse/Grinder03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/SchilstraRAB02,
  author       = {Maria J. Schilstra and
                  Alistair G. Rust and
                  Rod Adams and
                  Hamid Bolouri},
  title        = {A finite state automaton model for multi-neuron simulations},
  journal      = {Neurocomputing},
  volume       = {44-46},
  pages        = {1141--1148},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0925-2312(02)00438-1},
  doi          = {10.1016/S0925-2312(02)00438-1},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijon/SchilstraRAB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lec/Sahoo02,
  author       = {Kalyanamalini Sahoo},
  title        = {A Deterministic Finite State Automaton for the Oriya Negative Verbal
                  Forms},
  booktitle    = {2002 Language Engineering Conference {(LEC} 2002), 13-15 December
                  2002, Hyderabad, India},
  pages        = {110},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/LEC.2002.1182298},
  doi          = {10.1109/LEC.2002.1182298},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lec/Sahoo02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/CernanskyB01,
  author       = {Michal Cernansk{\'{y}} and
                  Lubica Benuskov{\'{a}}},
  editor       = {Georg Dorffner and
                  Horst Bischof and
                  Kurt Hornik},
  title        = {Finite-State Reber Automaton and the Recurrent Neural Networks Trained
                  in Supervised and Unsupervised Manner},
  booktitle    = {Artificial Neural Networks - {ICANN} 2001, International Conference
                  Vienna, Austria, August 21-25, 2001 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2130},
  pages        = {737--742},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44668-0\_103},
  doi          = {10.1007/3-540-44668-0\_103},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icann/CernanskyB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/SuzukiMA99,
  author       = {Motoyuki Suzuki and
                  Shozo Makino and
                  Hirotomo Aso},
  title        = {An automatic acquisition method of statistic finite-state automaton
                  for sentences},
  booktitle    = {Proceedings of the 1999 {IEEE} International Conference on Acoustics,
                  Speech, and Signal Processing, {ICASSP} '99, Phoenix, Arizona, USA,
                  March 15-19, 1999},
  pages        = {737--740},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ICASSP.1999.759772},
  doi          = {10.1109/ICASSP.1999.759772},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icassp/SuzukiMA99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/Herrmannsfeldt98,
  author       = {Glen Herrmannsfeldt},
  editor       = {Jan Holub and
                  Milan Sim{\'{a}}nek},
  title        = {A Highly Parallel Finite State Automaton Processor for Biological
                  Pattern Matching},
  booktitle    = {Proceedings of the Prague Stringology Club Workshop 1998, Prague,
                  Czech Republic, September 3-4, 1998},
  pages        = {58--72},
  publisher    = {Department of Computer Science and Engineering, Faculty of Electrical
                  Engineering, Czech Technical University},
  year         = {1998},
  url          = {http://www.stringology.org/event/1998/p07.html},
  timestamp    = {Wed, 10 Feb 2021 08:42:21 +0100},
  biburl       = {https://dblp.org/rec/conf/stringology/Herrmannsfeldt98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Chalmers96,
  author       = {David J. Chalmers},
  title        = {Does a rock implement every finite-state automaton?},
  journal      = {Synth.},
  volume       = {108},
  number       = {3},
  pages        = {309--333},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00413692},
  doi          = {10.1007/BF00413692},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Chalmers96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/LanW95,
  author       = {Su Lan and
                  Mo Zhi Wen},
  title        = {Closure of finite-state automaton languages},
  journal      = {Fuzzy Sets Syst.},
  volume       = {75},
  number       = {3},
  pages        = {393--397},
  year         = {1995},
  url          = {https://doi.org/10.1016/0165-0114(94)00388-N},
  doi          = {10.1016/0165-0114(94)00388-N},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fss/LanW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/RossiT95,
  author       = {Carlo Rossi and
                  Alberto Tonielli},
  title        = {Robust current controller for three-phase inverter using finite-state
                  automaton},
  journal      = {{IEEE} Trans. Ind. Electron.},
  volume       = {42},
  number       = {2},
  pages        = {169--178},
  year         = {1995},
  url          = {https://doi.org/10.1109/41.370383},
  doi          = {10.1109/41.370383},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tie/RossiT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/OtsukiIMO94,
  author       = {Takashi Otsuki and
                  Akinori Ito and
                  Shozo Makino and
                  Teruhiko Otomo},
  title        = {The performance prediction method on sentence recognition system using
                  a finite state automaton},
  booktitle    = {Proceedings of {ICASSP} '94: {IEEE} International Conference on Acoustics,
                  Speech and Signal Processing, Adelaide, South Australia, Australia,
                  April 19-22, 1994},
  pages        = {397--400},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/ICASSP.1994.389272},
  doi          = {10.1109/ICASSP.1994.389272},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icassp/OtsukiIMO94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/CamuratiGPR91,
  author       = {Paolo Camurati and
                  Marco Gilli and
                  Paolo Prinetto and
                  Matteo Sonza Reorda},
  title        = {Proving finite state machines correct with an automaton-based method},
  booktitle    = {First Great Lakes Symposium on VLSI, 1991, Kalamazoo, MI, USA, March
                  1-2, 1991},
  pages        = {255--258},
  publisher    = {{IEEE}},
  year         = {1991},
  url          = {https://doi.org/10.1109/GLSV.1991.143975},
  doi          = {10.1109/GLSV.1991.143975},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/glvlsi/CamuratiGPR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/PuriG91,
  author       = {Ruchir Puri and
                  Jun Gu},
  title        = {Searching for a minimal finite state automaton {(FSA)}},
  booktitle    = {Third International Conference on Tools for Artificial Intelligence,
                  {TAI} '91, San Jose, CA, USA, November 10-13, 1991},
  pages        = {416--423},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/TAI.1991.167123},
  doi          = {10.1109/TAI.1991.167123},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/PuriG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Rich88,
  author       = {Craig A. Rich},
  editor       = {Kesav V. Nori and
                  Sanjeev Kumar},
  title        = {The Complexity of a Counting Finite-State Automaton},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Eighth Conference, Pune, India, December 21-23, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {338},
  pages        = {225--239},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50517-2\_83},
  doi          = {10.1007/3-540-50517-2\_83},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Rich88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Blank85,
  author       = {Glenn D. Blank},
  editor       = {Aravind K. Joshi},
  title        = {A New Kind of Finite-State Automaton: Register Vector Grammar},
  booktitle    = {Proceedings of the 9th International Joint Conference on Artificial
                  Intelligence. Los Angeles, CA, USA, August 1985},
  pages        = {749--755},
  publisher    = {Morgan Kaufmann},
  year         = {1985},
  url          = {http://ijcai.org/Proceedings/85-2/Papers/013.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:19:04 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Blank85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/Hurson84,
  author       = {Ali R. Hurson},
  title        = {A {VLSI} design for the parallel finite state automaton and its performance
                  evaluation as a hardware scanner},
  journal      = {Int. J. Parallel Program.},
  volume       = {13},
  number       = {6},
  pages        = {491--508},
  year         = {1984},
  url          = {https://doi.org/10.1007/BF00985824},
  doi          = {10.1007/BF00985824},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijpp/Hurson84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/Garratt81,
  author       = {Paul W. Garratt},
  title        = {Connecting a computer to a packet-switched network by means of a finite-state
                  automaton},
  journal      = {Comput. Commun.},
  volume       = {4},
  number       = {3},
  pages        = {127--131},
  year         = {1981},
  url          = {https://doi.org/10.1016/0140-3664(81)90015-3},
  doi          = {10.1016/0140-3664(81)90015-3},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/comcom/Garratt81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ChenH77,
  author       = {Kuo An Chen and
                  Ming{-}Kuei Hu},
  title        = {A Finite State Probabilistic Automaton that Accepts a Context Sensitive
                  Language that is Not Context Free},
  journal      = {Inf. Control.},
  volume       = {35},
  number       = {3},
  pages        = {196--208},
  year         = {1977},
  url          = {https://doi.org/10.1016/S0019-9958(77)90074-2},
  doi          = {10.1016/S0019-9958(77)90074-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ChenH77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Heistand64,
  author       = {Roy E. Heistand},
  title        = {An executive system implemented as a finite-state automaton},
  journal      = {Commun. {ACM}},
  volume       = {7},
  number       = {11},
  pages        = {669--677},
  year         = {1964},
  url          = {https://doi.org/10.1145/364984.365091},
  doi          = {10.1145/364984.365091},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Heistand64.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/MillerW64,
  author       = {Raymond E. Miller and
                  Shmuel Winograd},
  title        = {On the Number of Transitions Entering the States of a Finite Automaton},
  journal      = {{IEEE} Trans. Electron. Comput.},
  volume       = {13},
  number       = {4},
  pages        = {463--464},
  year         = {1964},
  url          = {https://doi.org/10.1109/PGEC.1964.263849},
  doi          = {10.1109/PGEC.1964.263849},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/MillerW64.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Winett62,
  author       = {Joel M. Winett},
  title        = {An Alpha-State Finite Automaton for Multiplication by Alpha},
  journal      = {{IRE} Trans. Electron. Comput.},
  volume       = {11},
  number       = {3},
  pages        = {412--414},
  year         = {1962},
  url          = {https://doi.org/10.1109/IRETELC.1962.5407929},
  doi          = {10.1109/IRETELC.1962.5407929},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/Winett62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics