b'\n_START_ARTICLE_\nAn\xc3\xa1lise sint\xc3\xa1tica sem varredura\n_START_PARAGRAPH_\nAn\xc3\xa1lise sint\xc3\xa1tica sem varredura \xc3\xa9 uma t\xc3\xa9cnica de an\xc3\xa1lise sint\xc3\xa1tica que n\xc3\xa3o utiliza um componente de varredura (Scanner) para traduzir uma cadeia de caracteres em marcas. O termo an\xc3\xa1lise sint\xc3\xa1tica sem varredura foi inicialmente utilizado por Salomon e Cormack. Como conseq\xc3\xbc\xc3\xaancia do uso desta t\xc3\xa9cnica \xc3\xa9 que a linguagem definida ser\xc3\xa1 descrita por uma \xc3\xbanica gram\xc3\xa1tica unificada(definida por exemplo atrav\xc3\xa9s do formalismo Syntax Definition Formalism) ao inv\xc3\xa9s de ser descrita por uma gram\xc3\xa1tica livre de contexto e uma gram\xc3\xa1tica regular.\n_START_SECTION_\nExemplo\n_START_PARAGRAPH_\nO exemplo abaixo define uma linguagem simples para express\xc3\xb5es da l\xc3\xb3gica proposicional utilizando Syntax Definition Formalism (SDF):_NEWLINE_module basic/Booleans                                         %% Declara\xc3\xa7\xc3\xa3o do nome do m\xc3\xb3dulo_NEWLINE_exports_NEWLINE_  sorts Boolean                                               %% Definindo o tipo Boolean_NEWLINE_  context-free start-symbols Boolean                          %% Declarando s\xc3\xadmbolo inicial da gram\xc3\xa1tica_NEWLINE_context-free syntax_NEWLINE_   "true"                     \xe2\x86\x92 Boolean                     %% Constante que representa o valor verdadeiro_NEWLINE_   "false"                    \xe2\x86\x92 Boolean                     %% Constante que representa o valor falso_NEWLINE_   lhs:Boolean "|" rhs:Boolean\xe2\x86\x92 Boolean {left}              %% Defini\xc3\xa7\xc3\xa3o do operador l\xc3\xb3gico "ou". Operador associativo \xc3\xa0 esquerda._NEWLINE_lhs:Boolean "&" rhs:Boolean\xe2\x86\x92 Boolean {left}              %% Defini\xc3\xa7\xc3\xa3o do operador l\xc3\xb3gico "e". Operador associativo \xc3\xa0 esquerda._NEWLINE_   "not" "(" Boolean ")"      \xe2\x86\x92 Boolean                     %% Defini\xc3\xa7\xc3\xa3o do operador l\xc3\xb3gico de nega\xc3\xa7\xc3\xa3o de um senten\xc3\xa7a_NEWLINE_   "(" Boolean ")"            \xe2\x86\x92 Boolean                     %% Defini\xc3\xa7\xc3\xa3o de suporte a par\xc3\xaanteses como express\xc3\xb5es Boolean_NEWLINE_ context-free priorities                                      %% Declara\xc3\xa7\xc3\xa3o de ordem de preced\xc3\xaancia entre operadores l\xc3\xb3gicos_NEWLINE_   Boolean "&" Boolean\xe2\x86\x92 Boolean >_NEWLINE_   Boolean "|" Boolean\xe2\x86\x92 Boolean'