42 relações: Análise sintática (computação), Armazenamento de dados de computador, Autômato finito alternado, Autômato finito determinístico, Cadeia vazia, Ciência da computação teórica, Classe de complexidade, Complexidade computacional, Concatenação, Concatenação de duas linguagens regulares, Conjunto unitário, Diferença, DSPACE, Expressão regular, Família abstrata de linguagens, Fechamento, Fecho de Kleene, Gramática regular, Grande-O, Hierarquia de Chomsky, Interseção, Lógica de segunda ordem, Lema do bombeamento, Lema do bombeamento para linguagens regulares, Linguagem de Dyck, Linguagem de programação, Linguagem formal, Linguagem livre de contexto, LSPACE, Máquina de estados finitos não determinística, Máquina de Turing, Michael Sipser, Monoide, Monoide livre, Palíndromo, Problema de decisão, Relação de equivalência, Semântica, Teorema de Myhill-Nerode, União, União (matemática), União de duas linguagens regulares.
Análise sintática (computação)
árvore da expressão Em ciência da computação e linguística, a análise sintática (do inglês: parsing) é um processo de um compilador (de uma linguagem de programação), é a segunda fase da compilação onde se analisa uma sequência que foi dada entrada (via um arquivo de computador ou via teclado, por exemplo) para verificar sua estrutura gramatical segundo uma determinada gramática formal.
Novo!!: Linguagem regular e Análise sintática (computação) · Veja mais »
Armazenamento de dados de computador
O armazenamento de dados de computador é uma tecnologia que consiste em componentes de computador e mídia de gravação que são usados para reter dados digitais.
Novo!!: Linguagem regular e Armazenamento de dados de computador · Veja mais »
Autômato finito alternado
Na teoria dos autômatos, um autômato finito alternado (AFA) é um autômato finito não-determinístico cujas transições são dividas em transições existenciais e universais.
Novo!!: Linguagem regular e Autômato finito alternado · Veja mais »
Autômato finito determinístico
Um exemplo de autômato finito determinístico que aceita apenas números binários múltiplos de 3. O estado ''S''0 é tanto o estado de início quanto um estado de aceitação. Na Teoria dos autômatos, um sub-tópico da Ciência da computação teórica, um autômato finito determinístico — também chamado máquina de estados finita determinística (AFD) — é uma Máquina de estados finita que aceita ou rejeita cadeias de símbolos gerando um único ramo de computação para cada cadeia de entrada.
Novo!!: Linguagem regular e Autômato finito determinístico · Veja mais »
Cadeia vazia
Na Ciência da Computação e na Teoria das linguagens formais, a cadeia vazia é a única cadeia de comprimento zero.
Novo!!: Linguagem regular e Cadeia vazia · Veja mais »
Ciência da computação teórica
Ciência da computação teórica (TCS) ou informática teórica é uma divisão ou subconjunto de ciências da computação e matemática que incide sobre os aspectos mais abstratos ou matemáticos da computação e inclui a teoria da computação.
Novo!!: Linguagem regular e Ciência da computação teórica · Veja mais »
Classe de complexidade
Na Teoria da Complexidade Computacional, uma Classe de Complexidade é um conjunto de problemas.
Novo!!: Linguagem regular e Classe de complexidade · Veja mais »
Complexidade computacional
A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica e matemática que se concentra em classificar problemas computacionais de acordo com sua dificuldade inerente, e relacionar essas classes entre si.
Novo!!: Linguagem regular e Complexidade computacional · Veja mais »
Concatenação
Concatenação é um termo usado em computação para designar a operação de unir o conteúdo de duas strings.
Novo!!: Linguagem regular e Concatenação · Veja mais »
Concatenação de duas linguagens regulares
Na teoria das linguagens formais, e em particular na teoria dos autômatos finitos não determinísticos, é conhecido que a concatenação de duas linguagens regulares é uma linguagem regular.
Novo!!: Linguagem regular e Concatenação de duas linguagens regulares · Veja mais »
Conjunto unitário
Em matemática, um conjunto unitário, também conhecido como singleto, é um conjunto com exatamente um elemento.
Novo!!: Linguagem regular e Conjunto unitário · Veja mais »
Diferença
Sem descrição
Novo!!: Linguagem regular e Diferença · Veja mais »
DSPACE
Em complexidade computacional, DSPACE ou simplesmente SPACE é um recurso computacional descrevendo a disponibilidade de memória para uma máquina de Turing.
Novo!!: Linguagem regular e DSPACE · Veja mais »
Expressão regular
Em ciência da computação, uma expressão regular (do inglês regular expression, abreviado regex ou regexp) provê uma forma concisa e flexível de identificar cadeias de caracteres de interesse, como caracteres particulares, palavras ou padrões de caracteres.
Novo!!: Linguagem regular e Expressão regular · Veja mais »
Família abstrata de linguagens
Na ciência da computação, em particular no campo da teoria das linguagens formais, o termo família abstrata de linguagens se refere a uma noção matemática abstrata que generaliza característas comuns a linguagens regulares, linguagens livres de contexto e a linguagens recursivamente enumeráveis, e outras famílias de linguagens formais estudadas na literatura científica.
Novo!!: Linguagem regular e Família abstrata de linguagens · Veja mais »
Fechamento
Em matemática, um conjunto é fechado em relação a uma dada operação quando o resultado dessa operação em elementos desse conjunto é ainda um elemento desse conjunto.
Novo!!: Linguagem regular e Fechamento · Veja mais »
Fecho de Kleene
Na lógica matemática e na ciência da computação, o fecho de Kleene, estrela de Kleene ou operador de Kleene, é uma operação unária aplicada a conjuntos.
Novo!!: Linguagem regular e Fecho de Kleene · Veja mais »
Gramática regular
Em Teoria da computação as Gramáticas regulares também conhecida como Tipo 3 da Hierarquia de Chomsky, é uma restrição sobre a forma das produções, pode-se criar uma nova classe de gramáticas de grande importância no estudo dos compiladores por possuírem propriedades adequadas para a obtenção de reconhecedores simples.
Novo!!: Linguagem regular e Gramática regular · Veja mais »
Grande-O
''g''(''x'') sempre que ''x'' ≥ ''x''0. Na matemática, a notação O-grande descreve o comportamento limitante de uma função quando o argumento tende a um valor específico ou para o infinito, normalmente, em termos de funções mais simples.
Novo!!: Linguagem regular e Grande-O · Veja mais »
Hierarquia de Chomsky
Hierarquia de Chomsky é a classificação de gramáticas formais descrita em 1959 pelo linguista Noam Chomsky.
Novo!!: Linguagem regular e Hierarquia de Chomsky · Veja mais »
Interseção
Representação gráfica da interseção entre dois conjuntos Em teoria dos conjuntos, a, é um conjunto de elementos que, simultaneamente, pertencem a dois ou mais conjuntos, representado por ∩. Por exemplo, se o conjunto A possui os elementos e o conjunto B possui os elementos, então interseção do conjunto A com o conjunto B será igual a.
Novo!!: Linguagem regular e Interseção · Veja mais »
Lógica de segunda ordem
Na lógica matemática, a lógica de segunda ordem é uma extensão da lógica de primeira ordem, onde a própria lógica de primeira ordem é uma extensão de lógica proposicional.
Novo!!: Linguagem regular e Lógica de segunda ordem · Veja mais »
Lema do bombeamento
Na teoria da linguagens formais na teoria da computabilidade, o lema do bombeamento ou lema da bombagem (em inglês: pumping lemma) diz que qualquer linguagem infinita de dada classe pode ser "bombeada" (pumped) e ainda pertencer àquela classe (as linguagens finitas são todas regulares).
Novo!!: Linguagem regular e Lema do bombeamento · Veja mais »
Lema do bombeamento para linguagens regulares
O lema do bombeamento para linguagens regulares descreve uma propriedade essencial de todas as linguagens regulares: todas as cadeias suficientemente longas duma dada linguagem regular podem ser "bombeadas", isto é, cada uma dessas cadeias tem uma subcadeia central que pode ser repetida arbitrariamente a fim de produzir uma nova cadeia que também pertence à mesma linguagem.
Novo!!: Linguagem regular e Lema do bombeamento para linguagens regulares · Veja mais »
Linguagem de Dyck
Na teoria das linguagens formais, a linguagem de Dyck (lê-se "daique") é uma linguagem que consiste de cadeias balanceadas por parênteses e por colchetes.
Novo!!: Linguagem regular e Linguagem de Dyck · Veja mais »
Linguagem de programação
C. A linguagem de programação é um método padronizado, formado por um conjunto de regras sintáticas e semânticas, de implementação de um código fonte - que pode ser compilado e transformado em um programa de computador, ou usado como script interpretado - que informará instruções de processamento ao computador.
Novo!!: Linguagem regular e Linguagem de programação · Veja mais »
Linguagem formal
Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.
Novo!!: Linguagem regular e Linguagem formal · Veja mais »
Linguagem livre de contexto
Na teoria de linguagens formais, uma linguagem livre de contexto (LLC) é uma linguagem gerada por alguma gramática livre de contexto (GLC).
Novo!!: Linguagem regular e Linguagem livre de contexto · Veja mais »
LSPACE
Em teoria da complexidade, L (também conhecido como LSPACE ou DLOGSPACE) é a classe de complexidade que contém problemas de decisão os quais podem ser resolvidos por uma máquina de Turing utilizando uma quantidade de espaço de memória logarítmico.
Novo!!: Linguagem regular e LSPACE · Veja mais »
Máquina de estados finitos não determinística
Na teoria da computação, uma máquina de estados finita não-determinística ou um autômato finito não-determinístico (AFND) é uma máquina de estados finita onde para cada par de estado e símbolo de entrada pode haver vários próximos estados possíveis.
Novo!!: Linguagem regular e Máquina de estados finitos não determinística · Veja mais »
Máquina de Turing
Representação artística de uma máquina de Turing A Máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936).
Novo!!: Linguagem regular e Máquina de Turing · Veja mais »
Michael Sipser
Michael Fredric Sipser é um professor de Matemática Aplicada no grupo de teoria da computação do Massachusetts Institute of Technology.
Novo!!: Linguagem regular e Michael Sipser · Veja mais »
Monoide
Em álgebra abstrata, um monoide é uma estrutura algébrica com uma única operação binária, associativa e com um elemento neutro.
Novo!!: Linguagem regular e Monoide · Veja mais »
Monoide livre
Em álgebra abstrata, o monoide livre sobre um conjunto A é o monoide cujos elementos são todas as strings (ou sequências de caracteres) finitas formadas por zero ou mais elementos de A. Ele é normalmente denotado por A∗.
Novo!!: Linguagem regular e Monoide livre · Veja mais »
Palíndromo
O Quadrado Sator é um dos exemplos mais conhecidos de palíndromos. Palíndromo é uma palavra, frase ou número que permanece igual quando lida de trás para diante.
Novo!!: Linguagem regular e Palíndromo · Veja mais »
Problema de decisão
Na teoria da computabilidade e na teoria da complexidade computacional um problema de decisão é uma questão sobre um sistema formal com uma resposta do tipo sim-ou-não.
Novo!!: Linguagem regular e Problema de decisão · Veja mais »
Relação de equivalência
As 52 relações de equivalência em um conjunto de 5 elementos representadas por matrizes lógicas 5 × 5 (campos coloridos, incluindo aqueles em cinza claro, representam os uns; campos brancos por zeros.) Os índices de linha e coluna de células não brancas são os elementos relacionados, enquanto as cores diferentes, exceto cinza claro, indicam as classes de equivalência (cada célula cinza claro é sua própria classe de equivalência). Na matemática, uma relação de equivalência é uma relação binária que é reflexiva, simétrica e transitiva.
Novo!!: Linguagem regular e Relação de equivalência · Veja mais »
Semântica
Rede semântica em língua portuguesa Semântica (do grego σημαντικός, sēmantiká, plural neutro de sēmantikós, derivado de sema, sinal) é o estudo do significado.
Novo!!: Linguagem regular e Semântica · Veja mais »
Teorema de Myhill-Nerode
Acerca da teoria de Linguagens Formais, o Teorema de Myhill-Nerode fornece uma condição necessária e suficiente para que uma linguagem seja regular.
Novo!!: Linguagem regular e Teorema de Myhill-Nerode · Veja mais »
União
Sem descrição
Novo!!: Linguagem regular e União · Veja mais »
União (matemática)
Indicação da união entre os conjuntos A e B Em teoria dos conjuntos, a união de dois ou mais conjuntos é o conjunto dos elementos que pertencem a pelo menos um destes conjuntos.
Novo!!: Linguagem regular e União (matemática) · Veja mais »
União de duas linguagens regulares
Na teoria das linguagens formais, e em particular na teoria dos autômatos finitos não determinísticos, é conhecido que a união de duas linguagens regulares é uma linguagem regular.
Novo!!: Linguagem regular e União de duas linguagens regulares · Veja mais »
Redireciona aqui:
Linguagens Regulares, Linguagens regulares.