Filtros : "AUTÔMATOS FINITOS" Limpar

Filtros



Refine with date range

Vocabulário Controlado do SIBiUSP


  • Source: Science of Computer Programming. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, VALIDAÇÃO DE MODELOS, LINHAS DE PRODUTOS DE SOFTWARE, MÁQUINAS LINEARES E SEQUENCIAIS, AUTÔMATOS FINITOS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      FRAGAL, Vanderson Hafemann; SIMÃO, Adenilso da Silva; MOUSAVI, Mohammad Reza. Hierarchical featured state machines. Science of Computer Programming, Amsterdam, v. 171, p. 67-88, 2019. Disponível em: < http://dx.doi.org/10.1016/j.scico.2018.10.001 > DOI: 10.1016/j.scico.2018.10.001.
    • APA

      Fragal, V. H., Simão, A. da S., & Mousavi, M. R. (2019). Hierarchical featured state machines. Science of Computer Programming, 171, 67-88. doi:10.1016/j.scico.2018.10.001
    • NLM

      Fragal VH, Simão A da S, Mousavi MR. Hierarchical featured state machines [Internet]. Science of Computer Programming. 2019 ; 171 67-88.Available from: http://dx.doi.org/10.1016/j.scico.2018.10.001
    • Vancouver

      Fragal VH, Simão A da S, Mousavi MR. Hierarchical featured state machines [Internet]. Science of Computer Programming. 2019 ; 171 67-88.Available from: http://dx.doi.org/10.1016/j.scico.2018.10.001
  • Unidade: EP

    Subjects: LINGUAGENS FORMAIS, AUTÔMATOS FINITOS, TRANSFORMAÇÃO DE PROGRAMAS, GRAMÁTICA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CEREDA, Paulo Roberto Massa; JOSÉ NETO, João. Macros como mecanismos de abstração em transformações textuais. 2018.Universidade de São Paulo, São Paulo, 2018. Disponível em: < http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/pt-br.php >.
    • APA

      Cereda, P. R. M., & José Neto, J. (2018). Macros como mecanismos de abstração em transformações textuais. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/pt-br.php
    • NLM

      Cereda PRM, José Neto J. Macros como mecanismos de abstração em transformações textuais [Internet]. 2018 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/pt-br.php
    • Vancouver

      Cereda PRM, José Neto J. Macros como mecanismos de abstração em transformações textuais [Internet]. 2018 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/pt-br.php
  • Source: Journal of Software Engineering Research and Development. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, AUTÔMATOS FINITOS, TESTE E AVALIAÇÃO DE SOFTWARE

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      DAMASCENO, Carlos Diego N.; MASIERO, Paulo Cesar; SIMÃO, Adenilso da Silva. Similarity testing for role-based access control systems. Journal of Software Engineering Research and Development, Heidelberg, v. 6, n. Ja 2018, p. 1-37, 2018. Disponível em: < http://dx.doi.org/10.1186/s40411-017-0045-x > DOI: 10.1186/s40411-017-0045-x.
    • APA

      Damasceno, C. D. N., Masiero, P. C., & Simão, A. da S. (2018). Similarity testing for role-based access control systems. Journal of Software Engineering Research and Development, 6( Ja 2018), 1-37. doi:10.1186/s40411-017-0045-x
    • NLM

      Damasceno CDN, Masiero PC, Simão A da S. Similarity testing for role-based access control systems [Internet]. Journal of Software Engineering Research and Development. 2018 ; 6( Ja 2018): 1-37.Available from: http://dx.doi.org/10.1186/s40411-017-0045-x
    • Vancouver

      Damasceno CDN, Masiero PC, Simão A da S. Similarity testing for role-based access control systems [Internet]. Journal of Software Engineering Research and Development. 2018 ; 6( Ja 2018): 1-37.Available from: http://dx.doi.org/10.1186/s40411-017-0045-x
  • Unidade: ICMC

    Subjects: ROBÓTICA, ROBÔS, REDES NEURAIS, AUTÔMATOS FINITOS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SALES, Daniel Oliva; OSÓRIO, Fernando Santos. NeuroFSM: aprendizado de Autômatos Finitos através do uso de Redes Neurais Artificiais aplicadas à robôs móveis e veículos autônomos. 2012.Universidade de São Paulo, São Carlos, 2012. Disponível em: < http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06122012-143729/ >.
    • APA

      Sales, D. O., & Osório, F. S. (2012). NeuroFSM: aprendizado de Autômatos Finitos através do uso de Redes Neurais Artificiais aplicadas à robôs móveis e veículos autônomos. Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06122012-143729/
    • NLM

      Sales DO, Osório FS. NeuroFSM: aprendizado de Autômatos Finitos através do uso de Redes Neurais Artificiais aplicadas à robôs móveis e veículos autônomos [Internet]. 2012 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06122012-143729/
    • Vancouver

      Sales DO, Osório FS. NeuroFSM: aprendizado de Autômatos Finitos através do uso de Redes Neurais Artificiais aplicadas à robôs móveis e veículos autônomos [Internet]. 2012 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06122012-143729/
  • Unidade: EP

    Subjects: TEORIA DOS JOGOS, SISTEMAS MULTIAGENTES, AUTÔMATOS FINITOS, SIMULAÇÃO DE SISTEMAS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BÓ, Inácio Guerberoff Lanari; SICHMAN, Jaime S. Influência da complexidade da representação de estratégias em modelos evolucionários para o Dilema do Prisioneiro com n jogadores. 2007.Universidade de São Paulo, São Paulo, 2007. Disponível em: < http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032008-161326/ >.
    • APA

      Bó, I. G. L., & Sichman, J. S. (2007). Influência da complexidade da representação de estratégias em modelos evolucionários para o Dilema do Prisioneiro com n jogadores. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032008-161326/
    • NLM

      Bó IGL, Sichman JS. Influência da complexidade da representação de estratégias em modelos evolucionários para o Dilema do Prisioneiro com n jogadores [Internet]. 2007 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032008-161326/
    • Vancouver

      Bó IGL, Sichman JS. Influência da complexidade da representação de estratégias em modelos evolucionários para o Dilema do Prisioneiro com n jogadores [Internet]. 2007 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032008-161326/
  • Unidade: EP

    Subjects: LÓGICA FUZZY, AUTÔMATOS FINITOS, RECONHECIMENTO DE TEXTO

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MACIEL, Alexandre; ANDRADE, Marco Túlio Carvalho de. Aplicação de autômatos finitos nebulosos no reconhecimento aproximado de cadeias. 2006.Universidade de São Paulo, São Paulo, 2006. Disponível em: < http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18042007-155841/ >.
    • APA

      Maciel, A., & Andrade, M. T. C. de. (2006). Aplicação de autômatos finitos nebulosos no reconhecimento aproximado de cadeias. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18042007-155841/
    • NLM

      Maciel A, Andrade MTC de. Aplicação de autômatos finitos nebulosos no reconhecimento aproximado de cadeias [Internet]. 2006 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18042007-155841/
    • Vancouver

      Maciel A, Andrade MTC de. Aplicação de autômatos finitos nebulosos no reconhecimento aproximado de cadeias [Internet]. 2006 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18042007-155841/
  • Unidade: EP

    Subjects: ANÁLISE SINTÁTICA, AUTÔMATOS FINITOS, GRAMÁTICA

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      RICCHETTI, Pier Marco; JOSÉ NETO, João. Geração de analisadores sintáticos baseados em transdutores a partir de especificações gramaticais. 2005.Universidade de São Paulo, São Paulo, 2005.
    • APA

      Ricchetti, P. M., & José Neto, J. (2005). Geração de analisadores sintáticos baseados em transdutores a partir de especificações gramaticais. Universidade de São Paulo, São Paulo.
    • NLM

      Ricchetti PM, José Neto J. Geração de analisadores sintáticos baseados em transdutores a partir de especificações gramaticais. 2005 ;
    • Vancouver

      Ricchetti PM, José Neto J. Geração de analisadores sintáticos baseados em transdutores a partir de especificações gramaticais. 2005 ;
  • Source: SEMINCO : anais. Conference titles: Seminário de Computação. Unidade: EP

    Subjects: AUTÔMATOS FINITOS, LÓGICA FUZZY

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MACIEL, Alexandre; ANDRADE, Marco Túlio Carvalho de. Aplicação de autômatos finitos nebulosos no reconhecimento aproximado de cadeias. Anais.. Blumenau: FURB/SBC, 2005.
    • APA

      Maciel, A., & Andrade, M. T. C. de. (2005). Aplicação de autômatos finitos nebulosos no reconhecimento aproximado de cadeias. In SEMINCO : anais. Blumenau: FURB/SBC.
    • NLM

      Maciel A, Andrade MTC de. Aplicação de autômatos finitos nebulosos no reconhecimento aproximado de cadeias. SEMINCO : anais. 2005 ;
    • Vancouver

      Maciel A, Andrade MTC de. Aplicação de autômatos finitos nebulosos no reconhecimento aproximado de cadeias. SEMINCO : anais. 2005 ;
  • Unidade: EP

    Subjects: TEORIA DA COMPUTAÇÃO, LINGUAGENS FORMAIS, AUTÔMATOS FINITOS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BRAVO PARIENTE, César Alberto; JOSÉ NETO, João. Gramáticas livres de contexto adaptativas com verificação de aparência. 2004.Universidade de São Paulo, São Paulo, 2004. Disponível em: < http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/ >.
    • APA

      Bravo Pariente, C. A., & José Neto, J. (2004). Gramáticas livres de contexto adaptativas com verificação de aparência. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/
    • NLM

      Bravo Pariente CA, José Neto J. Gramáticas livres de contexto adaptativas com verificação de aparência [Internet]. 2004 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/
    • Vancouver

      Bravo Pariente CA, José Neto J. Gramáticas livres de contexto adaptativas com verificação de aparência [Internet]. 2004 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/
  • Source: Theoretical Computer Science. Unidade: IME

    Assunto: AUTÔMATOS FINITOS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      KOBAYASHI, Nami. Some properties of recognizable Z-subsets. Theoretical Computer Science, Amsterdam, v. 293, n. 1, p. 83-113, 2003. Disponível em: < https://dx.doi.org/10.1016/S0304-3975(02)00233-5 > DOI: 10.1016/s0304-3975(02)00233-5.
    • APA

      Kobayashi, N. (2003). Some properties of recognizable Z-subsets. Theoretical Computer Science, 293( 1), 83-113. doi:10.1016/s0304-3975(02)00233-5
    • NLM

      Kobayashi N. Some properties of recognizable Z-subsets [Internet]. Theoretical Computer Science. 2003 ; 293( 1): 83-113.Available from: https://dx.doi.org/10.1016/S0304-3975(02)00233-5
    • Vancouver

      Kobayashi N. Some properties of recognizable Z-subsets [Internet]. Theoretical Computer Science. 2003 ; 293( 1): 83-113.Available from: https://dx.doi.org/10.1016/S0304-3975(02)00233-5
  • Unidade: EP

    Subjects: ENGENHARIA ELÉTRICA, AUTÔMATOS FINITOS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      PEREIRA, Joel Camargo Dias; JOSÉ NETO, João. Ambiente integrado de desenvolvimento de reconhecedores sintáticos, baseado em autômatos adaptativos. 1999.Universidade de São Paulo, São Paulo, 1999.
    • APA

      Pereira, J. C. D., & José Neto, J. (1999). Ambiente integrado de desenvolvimento de reconhecedores sintáticos, baseado em autômatos adaptativos. Universidade de São Paulo, São Paulo.
    • NLM

      Pereira JCD, José Neto J. Ambiente integrado de desenvolvimento de reconhecedores sintáticos, baseado em autômatos adaptativos. 1999 ;
    • Vancouver

      Pereira JCD, José Neto J. Ambiente integrado de desenvolvimento de reconhecedores sintáticos, baseado em autômatos adaptativos. 1999 ;
  • Source: Proceedings. Conference titles: Latin American Symposium on Theoretical Informatics - LATIN '92. Unidade: IME

    Subjects: AUTÔMATOS FINITOS, TEORIA DOS AUTÔMATOS, LINGUAGENS FORMAIS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      KOBAYASHI, Nami. Properties of recognizable M-subsets of a free monoid. Anais.. Berlin: Springer, 1992.Disponível em: DOI: 10.1007/BFb0023838.
    • APA

      Kobayashi, N. (1992). Properties of recognizable M-subsets of a free monoid. In Proceedings. Berlin: Springer. doi:10.1007/BFb0023838
    • NLM

      Kobayashi N. Properties of recognizable M-subsets of a free monoid [Internet]. Proceedings. 1992 ;Available from: https://dx.doi.org/10.1007/BFb0023838
    • Vancouver

      Kobayashi N. Properties of recognizable M-subsets of a free monoid [Internet]. Proceedings. 1992 ;Available from: https://dx.doi.org/10.1007/BFb0023838
  • Source: Mots : méanges offerts a M.-P. Schützenberger. Unidade: IME

    Assunto: AUTÔMATOS FINITOS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SIMON, Imre. The nondeterministic complexity of a finite automaton. In: Mots : méanges offerts a M.-P. Schützenberger[S.l: s.n.], 1990.
    • APA

      Simon, I. (1990). The nondeterministic complexity of a finite automaton. In Mots : méanges offerts a M.-P. Schützenberger. Paris: Hermès.
    • NLM

      Simon I. The nondeterministic complexity of a finite automaton. In: Mots : méanges offerts a M.-P. Schützenberger. Paris: Hermès; 1990.
    • Vancouver

      Simon I. The nondeterministic complexity of a finite automaton. In: Mots : méanges offerts a M.-P. Schützenberger. Paris: Hermès; 1990.
  • Source: Proceedings. Conference titles: Spring School on Theoretical Computer Science - LITP. Unidade: IME

    Subjects: SEMIGRUPOS (COMBINATÓRIA), AUTÔMATOS FINITOS, LINGUAGENS FORMAIS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SIMON, Imre. Properties of factorization forests. Anais.. Berlin: Springer, 1989.Disponível em: DOI: 10.1007/BFb0013112.
    • APA

      Simon, I. (1989). Properties of factorization forests. In Proceedings. Berlin: Springer. doi:10.1007/BFb0013112
    • NLM

      Simon I. Properties of factorization forests [Internet]. Proceedings. 1989 ;Available from: https://doi.org/10.1007/BFb0013112
    • Vancouver

      Simon I. Properties of factorization forests [Internet]. Proceedings. 1989 ;Available from: https://doi.org/10.1007/BFb0013112
  • Source: Proceedings. Conference titles: International Symposium on Mathematical Foundations of Computer Science - MFCS. Unidade: IME

    Subjects: SEMIGRUPOS (COMBINATÓRIA), AUTÔMATOS FINITOS, LINGUAGENS FORMAIS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SIMON, Imre. Recognizable sets with multiplicities in the tropical semiring. Anais.. Berlin: Springer, 1988.Disponível em: DOI: 10.1007/BFb0017135.
    • APA

      Simon, I. (1988). Recognizable sets with multiplicities in the tropical semiring. In Proceedings. Berlin: Springer. doi:10.1007/BFb0017135
    • NLM

      Simon I. Recognizable sets with multiplicities in the tropical semiring [Internet]. Proceedings. 1988 ;Available from: https://doi.org/10.1007/BFb0017135
    • Vancouver

      Simon I. Recognizable sets with multiplicities in the tropical semiring [Internet]. Proceedings. 1988 ;Available from: https://doi.org/10.1007/BFb0017135

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021