Acesso mais rápido do que o navegador!
36 relações: Autômato, Cadeia de caracteres, Cambridge University Press, Ciência da computação, Complexidade computacional, Computabilidade, Concatenação, Decidibilidade, Estrutura de interpretação (lógica), Fecho de Kleene, Grzegorz Rozenberg, Hierarquia de Chomsky, Interpretação (lógica), Jeffrey Ullman, John Hopcroft, Língua natural, Lógica, Linguagem, Linguagem de programação, Máquina de Turing, Métodos formais, Notação matemática, Nova Iorque, Proposição, Protocolo, Regra de inferência, Semântica, Semântica formal (lógica), Sintaxe, Sistema formal, Springer Science+Business Media, Teoria da computação, Teoria dos modelos, Valor de verdade, Vetor associativo, Yacc.
Autômato
Um (do grega αὐτόματον: "agindo por vontade própria") é um mecanismo que se opera de maneira automática, imitando movimentos humanos.
Novo!!: Linguagem formal e Autômato · Veja mais »
Cadeia de caracteres
Na programação de computadores, uma cadeia de caracteres ou string é uma sequência de caracteres, geralmente utilizada para representar palavras, frases ou textos de um programa.
Novo!!: Linguagem formal e Cadeia de caracteres · Veja mais »
Cambridge University Press
Cambridge University Press é uma editora britânica, fundada em 1534 com o aval do rei Henrique VIII para a Universidade de Cambridge, sendo a editora mais antiga do mundo em operação contínua e a segunda maior editora universitária do mundo.
Novo!!: Linguagem formal e Cambridge University Press · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Linguagem formal e Ciência da computação · 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 formal e Complexidade computacional · Veja mais »
Computabilidade
Computabilidade é a habilidade de resolver problemas de forma efetiva.
Novo!!: Linguagem formal e Computabilidade · 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 formal e Concatenação · Veja mais »
Decidibilidade
Em lógica, o termo decidível se refere a um problema de decisão, ou seja, a questão da existência de um método efetivo para determinar a pertinência em um conjunto de fórmulas.
Novo!!: Linguagem formal e Decidibilidade · Veja mais »
Estrutura de interpretação (lógica)
Na lógica, uma estrutura (ou estrutura de interpretação) é um objeto que dá significado semântico ou interpretação aos símbolos definidos pela assinatura de uma linguagem.
Novo!!: Linguagem formal e Estrutura de interpretação (lógica) · 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 formal e Fecho de Kleene · Veja mais »
Grzegorz Rozenberg
Grzegorz Rozenberg (Leninsk, Rússia) é um cientista da computação polonês-neerlandês.
Novo!!: Linguagem formal e Grzegorz Rozenberg · Veja mais »
Hierarquia de Chomsky
Hierarquia de Chomsky é a classificação de gramáticas formais descrita em 1959 pelo linguista Noam Chomsky.
Novo!!: Linguagem formal e Hierarquia de Chomsky · Veja mais »
Interpretação (lógica)
Uma interpretação é uma atribuição de significado para os símbolos de uma Linguagem formal.
Novo!!: Linguagem formal e Interpretação (lógica) · Veja mais »
Jeffrey Ullman
Jeffrey David Ullman é um cientista da computação estadunidense.
Novo!!: Linguagem formal e Jeffrey Ullman · Veja mais »
John Hopcroft
John Edward Hopcroft (Seattle) é um professor de ciência da computação estadunidense.
Novo!!: Linguagem formal e John Hopcroft · Veja mais »
Língua natural
Língua natural (língua humana, língua idiomática, ou somente língua ou idioma) é qualquer linguagem desenvolvida naturalmente pelo ser humano, de forma não premeditada, como resultado da facilidade inata para a linguagem possuída pelo intelecto humano.
Novo!!: Linguagem formal e Língua natural · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Linguagem formal e Lógica · Veja mais »
Linguagem
A linguagemAntônio Houaiss.
Novo!!: Linguagem formal e Linguagem · 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 formal e Linguagem de programação · 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 formal e Máquina de Turing · Veja mais »
Métodos formais
Na ciência da computação e engenharia de software, métodos formais são técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de softwares e hardwares.
Novo!!: Linguagem formal e Métodos formais · Veja mais »
Notação matemática
O símbolo de infinito (\infty) em vários estilos de caracteres. Notação matemática é uma linguagem cuja grafia e semântica se utiliza dos símbolos matemáticos e da lógica matemática, respectivamente.
Novo!!: Linguagem formal e Notação matemática · Veja mais »
Nova Iorque
Nova Iorque (também referida como Nova York), oficialmente Cidade de Nova Iorque (New York City), é a cidade mais populosa do estado de Nova Iorque e dos Estados Unidos.
Novo!!: Linguagem formal e Nova Iorque · Veja mais »
Proposição
Proposição é um termo usado em lógica para descrever o conteúdo de asserções.
Novo!!: Linguagem formal e Proposição · Veja mais »
Protocolo
*Registro de protocolo.
Novo!!: Linguagem formal e Protocolo · Veja mais »
Regra de inferência
Inferência é o processo pelo qual se chega a uma proposição, firmada na base de uma ou outras mais proposições aceitas como ponto de partida do processo.
Novo!!: Linguagem formal e Regra de inferê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 formal e Semântica · Veja mais »
Semântica formal (lógica)
Na lógica, semântica formal ou lógica semântica,Winfried Nöth Handbook of semiotics é o estudo da semântica ou interpretações (idealizações) de linguagens naturais e formais, geralmente tentando captar a noção pré-teórica de implicação (ou consequência lógica).
Novo!!: Linguagem formal e Semântica formal (lógica) · Veja mais »
Sintaxe
Sintaxe (pronúncia no) (do grego clássico σύνταξις "estrutura", de σύν, transl. syn, "mais", e τάξις, transl. táxis, "classe") é o estudo das regras que regem a construção de frases nas línguas naturais.
Novo!!: Linguagem formal e Sintaxe · Veja mais »
Sistema formal
Um sistema formal ou sistema lógico é, por assim dizer, qualquer sistema de pensamento abstrato bem definido, em um modelo matemático.
Novo!!: Linguagem formal e Sistema formal · Veja mais »
Springer Science+Business Media
Springer Science+Business Media ou Springer-Verlag, ou ainda, simplesmente Springer é uma editora mundial baseada na Alemanha, a qual publica livros-texto, livros de referência acadêmica, e periódicos de artigos com revisão por pares (peer-review), com foco em ciência, tecnologia, matemática, e medicina.
Novo!!: Linguagem formal e Springer Science+Business Media · Veja mais »
Teoria da computação
A teoria da computação é um subcampo da ciência da computação e matemática que busca determinar quais problemas podem ser computados em um dado modelo de computação.
Novo!!: Linguagem formal e Teoria da computação · Veja mais »
Teoria dos modelos
Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos.
Novo!!: Linguagem formal e Teoria dos modelos · Veja mais »
Valor de verdade
Na lógica e na matemática, um valor de verdade, também chamado de valor veritativo ou valor verdade, é um valor que indica o grau de verdade de uma proposição, dependendo da interpretação.
Novo!!: Linguagem formal e Valor de verdade · Veja mais »
Vetor associativo
Um vetor associativo é uma estrutura de dados composta de um conjunto não-ordenado de itens formados por um par chave e valor, no qual cada chave possui um valor associado.
Novo!!: Linguagem formal e Vetor associativo · Veja mais »
Yacc
yacc (acrônimo para Yet Another Compiler Compiler) é um gerador de analisador sintático desenvolvido por Stephen C. Johnson da AT&T para o sistema operacional Unix.
Novo!!: Linguagem formal e Yacc · Veja mais »
Redireciona aqui:
LFA, Linguagem Formal, Linguagens Formais, Linguagens formais, Linguagens formais e compiladores, Teoria das linguagens formais e dos autômatos.
