danielsrs / compiladores

Um analizador léxico para uma pseudo linguagem de programação escrito em python.

Hello, My name Daniel Santa Rosa !

Welcome to my Github profile 👋🏽

🔭 Skill set:

👨🏽‍💻 I'm currently working on:

• My React, Express, and Node skills
• Some mobile and desktop apps with react native

🤓 I'm currently learning:

• TypeScript
• Laravel

🤔 I want to learn:

• Next.js
• GraphQL
• Flutter

Some stats:

Outside of coding I enjoy:

• Reading books 📖
• Drawing (I suck) 🖌️
• Music 🎶
• Fantasy movies/tv shows/books 🧙🏽‍♂️🪄

Let's Connect ☕

compiladores's Issues

A análise de uma expressão lógica não é confiável.

Expressões logicas estruturadas incorretamente não lançam um exceção

Atualização da gramaica

• Corrige fatoração a esquerda
• reordena os elementos

! Identificador
IDE  = {Letter}({Letter} | {Alphanumeric} | '_')*
NRO = '-'? {Whitespace}* {Digit}+ ('.' {Digit} ({Digit})*)?
{Simbolo} = {#32 .. #126} - {#34}
CAC = '"'({Letter} | {Digit} | {Simbolo} | [ ])* '"'

"Start Symbol" = <EstruturaDoPrograma>
<EstruturaDoPrograma> ::= <OpcionaisConstantes> <OpcionalStruct> <OpcionaislVariaveisGlobais><AreaDeFuncoesEProcedimentos>

! Valor booleano          
<Boolean> ::= 'true' | 'false'
 
   
! Definição da quantidade de Dimensoes de acesso a uma variavel de forma opcional
<OpcionalDimensoesDeAcesso> ::= <DimensoesDeAcesso> | 


! Definição da quantidade de Dimensoes de acesso de uma matriz
<DimensoesDeAcesso> ::= <TamanhoDaDimensao> <DimensaoOpcional>
<TamanhoDaDimensao> ::= '[' <IndiceDeAcesso> ']'
<DimensaoOpcional> ::= <TamanhoDaDimensao> <DimensaoOpcional> |           
<IndiceDeAcesso> ::= NRO | IDE |
           

! Declaração opcional de uma estrutura
<OpcionalStruct> ::= <DeclaracaoStruct> <OpcionalStruct> |
                  

! Declaração de um tipo composto
<DeclaracaoStruct> ::= 'struct' IDE <CorpoDaEstrutura>
! Corpo de uma estrutura ou especialização de uma estrutura
<CorpoDaEstrutura> ::= '{' <VariaveisDaStruct> '}' | <EspecializacaoDeStruct>                 
! Extends de uma struct
<EspecializacaoDeStruct> ::= 'extends' IDE '{' <VariaveisDaStruct> '}'
             
             
! Variaveis do corpo de uma struct
<VariaveisDaStruct> ::= <DeclaracaoDeVariavelDeStruct> <OpcionaisVariaveisDaStruct>
<OpcionaisVariaveisDaStruct> ::= <VariaveisDaStruct> |


! Declaração de variavel dentro de estrutura
<DeclaracaoDeVariavelDeStruct> ::= <Tipo> <ListaDeVariaveisStruct> ';'
! Identificaçao da variavel e atribuicaço de valor
<ListaDeVariaveisStruct> ::= IDE <OpcionalDimensoesDeAcesso> <AtribuicaoMultiplaStruct>
! listagem e atribuição de outras variaveis
<AtribuicaoMultiplaStruct> ::= <AtribuicaoDeVariavelStruc> <OutrasAtribuicoesOpcionais>
! multiplas declarações opcionais
<OutrasAtribuicoesOpcionais> ::= ',' <ListaDeVariaveisStruct> |
! Valor opcional de atribuiçao
<AtribuicaoDeVariavelStruc> ::= '=' <ValorDeStribuicaoStruct> |
<ValorDeStribuicaoStruct> ::= IDE <Valor_Comecando_Com_IDE>  | NRO  | CAC | <Boolean> | '(' <ExpressaoAritmetica> ')'
                           
<Valor_Comecando_Com_IDE> ::= <ConteudoDoPrintIDE>
                           
! <PossivelExpressaoAritimetica> ::= <MultiplicacaoOuDivisao> <ExpressaoComSomaSub> |


! Declaração opcional de variáveis globais
<OpcionaislVariaveisGlobais> ::= <VariaveisGlobais> |
! Bloco de variaveis globais        
<VariaveisGlobais> ::= 'var' '{' <DeclaracaoDentroDoBlocoDeVar> '}'
<DeclaracaoDentroDoBlocoDeVar> ::= <VariaveisDaStruct>
                    

! Declaração do opcionais de constantes
<OpcionaisConstantes> ::= <Constantes> |
! Bloco de constantes
<Constantes> ::= 'const' '{' <DeclaracaoDentroDoBlocoDeConst> '}'
<DeclaracaoDentroDoBlocoDeConst> ::= <VariaveisDaStruct>
            

! Area para declaração de funões ou procedimentos     
<AreaDeFuncoesEProcedimentos> ::= <FuncaoOuProcedimento> <AreaDeFuncoesEProcedimentos> | <FuncaoOuProcedimento>
<FuncaoOuProcedimento> ::= <Funcao> | <Procedimento>
                        

! Bloco
<BlocoDeCodigo> ::= '{' <Conteudos> '}'
<Conteudos> ::= <ConteudoDeBloco> <Conteudos>  |
<ConteudoDeBloco> ::= <While> | <If> | <Print> | <Read> | <VariaveisGlobais> | IDE <VariacoesComIDEnoBloco>
  

! Chamada de função ou procedimento
! atribuiçõo de valor em uma variavel
! atribuição de valor em matriz
<VariacoesComIDEnoBloco> ::= '(' <OpcionaisArgumentos> ')' ';' | '=' <ValorDeStribuicaoStruct> ';' | <DimensaoDaMatriz> '=' <ValorDeStribuicaoStruct> ';'
! <AtribuicaoDeValorNoBloco> ::= 
                   

! While
<While> ::= 'while' '(' ')' <BlocoDeCodigo>
         


! If
<If> ::= 'if' '(' ')' 'then' <ConteudoDoIf>
<ConteudoDoIf> ::= <BlocoDeCodigo> <OpcionalElse>
<OpcionalElse> ::= 'else' <BlocoDeCodigo> |
                


! Elemento de matriz
! <ElementoDaMatriz> ::= IDE <DimensaoDaMatriz>
<DimensaoDaMatriz> ::= <IndiceDeAcessoDaMatriz> <OpcionalIndice>
<IndiceDeAcessoDaMatriz> ::= '[' <ValorDoIndice> ']'
<OpcionalIndice> ::= <IndiceDeAcessoDaMatriz> <OpcionalIndice> |           
<ValorDoIndice> ::= NRO | IDE
           

! Print
<Print> ::= 'print' '(' <ConteudoDoPrint> ')' ';'
<ConteudoDoPrint> ::= IDE <ConteudoDoPrintIDE> | CAC  
<ConteudoDoPrintIDE> ::= '.' IDE | <DimensaoDaMatriz> |
                      

! Read
<Read> ::= 'read' '(' <Ler> ')' ';'
<Ler> ::= IDE <ConteudoDoPrintIDE>
       

! Chamada funcção
! <RetornoFuncao> ::= IDE '(' <OpcionaisArgumentos> ')'
<OpcionaisArgumentos> ::= <ListaDeArgumentos> |
<ListaDeArgumentos> ::= <Argumento> <OutrosArgumentos>
<OutrosArgumentos> ::= ',' <ListaDeArgumentos> |
<Argumento> ::= <ValorDeStribuicaoStruct>

! Ou também chamada de procedimento
! <ChamadaFuncao> ::= <RetornoFuncao> ';'


! Expressao Aritmetica
<ExpressaoAritmetica> ::= <ValorOuMultiDiv> <ExpressaoComSomaSub>
<ValorOuMultiDiv>   ::= <Valor> <MultiplicacaoOuDivisao>
<MultiplicacaoOuDivisao> ::= '*' <ValorOuMultiDiv> | '/' <ValorOuMultiDiv> |
<ExpressaoComSomaSub> ::= <SimboloSomaSub> <ExpressaoAritmetica> |
<Valor> ::= <Operavel> | '(' <ExpressaoAritmetica> ')'
<SimboloSomaSub> ::= '+' | '-'
<Operavel> ::= IDE | NRO


! Declaração de uma função                        
<Funcao> ::= 'function' <Tipo> IDE '(' <ListParametros> ')' '{' '}'
! Lista de parametros pode ser vazia
<ListParametros> ::= <Parametro> <OutroParametro> |
! Se mais de um parametro
<OutroParametro> ::= ',' <ListParametros> |
! Definição do parametro
<Parametro> ::= <Tipo> IDE
             
! Tipo
<Tipo> ::= 'int' | 'real' | 'boolean' | 'string' | IDE
! Declaração de um procedimento
<Procedimento> ::= 'procedure' IDE '(' ')' <BlocoDeCodigo>