| dbo:abstract
|
- In computer science, a computation history is a sequence of steps taken by an abstract machine in the process of computing its result. Computation histories are frequently used in proofs about the capabilities of certain machines, and particularly about the undecidability of various formal languages. Formally, a computation history is a (normally finite) sequence of configurations of a formal automaton. Each configuration fully describes the status of the machine at a particular point. To be valid, certain conditions must hold:
* the first configuration must be a valid initial configuration of the automaton and
* each transition between adjacent configurations must be valid according to the transition rules of the automaton. In addition, to be complete, a computation history must be finite and
* the final configuration must be a valid terminal configuration of the automaton. The definitions of "valid initial configuration", "valid transition", and "valid terminal configuration" vary for different kinds of formal machines. A deterministic automaton has exactly one computation history for a given initial configuration, though the history may be infinite and therefore incomplete. (en)
- En ciencias de la computación, una historia de cómputo es una secuencia de pasos dados por una máquina abstracta en el proceso de cálculo de su resultado. Historias de cómputo se utilizan frecuentemente en pruebas sobre las capacidades de ciertas máquinas, y en particular acerca de la indecidibilidad de diversos lenguajes formales. Formalmente, una historia de cómputo es una (normalmente finita) secuencia de configuraciones de un autómata formal. Cada configuración describe completamente el estado de la máquina en un punto particular. Para ser válida, ciertas condiciones deben cumplirse:
* La primera configuración tiene que ser una configuración inicial válida del autómata y
* Cada transición entre configuraciones adyacentes tiene que ser válida según las reglas de transición del autómata. Además, para ser completo, una historia de cómputo tiene que ser finita y
* La configuración final tiene que ser una configuración terminal válida del autómata. Las definiciones de "configuración inicial válida", "transición válida", y "la configuración terminal válida" varían para diferentes clases de máquinas formales. Un autómata determinista tiene exactamente una historia de cómputo para una configuración inicial dada, aunque la historia puede ser infinita y por lo tanto incompleta. (es)
- Na ciência da computação, um histórico de computação é um conjunto de passos tomados por um Autômato enquanto computa seu resultado. Históricos de computação são frequentemente usados em provas sobre as capacidades de determinadas máquinas, e particularmente sobre a indecidibilidade de várias linguagens formais. Formalmente, um histórico de computação é uma sequência (normalmente finita) de configurações de um autômato formal. Cada configuração descreve completamente o estado da máquina em um ponto específico. Para ser considerado válido, certas condições devem ser preenchidas:
* a primeira configuração deve ser uma configuração inicial válida do autômato e
* cada transição entre configurações adjacentes deve ser válida de acordo com as regras de transição do autômato. Adicionalmente, para ser considerado completo, um histórico de computação deve ser finito e
* a última configuração deve ser uma configuração final (i.e aceitação ou rejeição) válida do autômato. As definições de "configuração inicial válida", "transição válida" e "configuração final válida" variam de acordo com o tipo de autômato formal. Um autômato determinístico tem exatamente um histórico de computação para uma dada configuração inicial, muito embora o histórico possa ser infinito e portanto incompleto. (pt)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7211 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdfs:comment
|
- In computer science, a computation history is a sequence of steps taken by an abstract machine in the process of computing its result. Computation histories are frequently used in proofs about the capabilities of certain machines, and particularly about the undecidability of various formal languages. Formally, a computation history is a (normally finite) sequence of configurations of a formal automaton. Each configuration fully describes the status of the machine at a particular point. To be valid, certain conditions must hold: (en)
- En ciencias de la computación, una historia de cómputo es una secuencia de pasos dados por una máquina abstracta en el proceso de cálculo de su resultado. Historias de cómputo se utilizan frecuentemente en pruebas sobre las capacidades de ciertas máquinas, y en particular acerca de la indecidibilidad de diversos lenguajes formales. Formalmente, una historia de cómputo es una (normalmente finita) secuencia de configuraciones de un autómata formal. Cada configuración describe completamente el estado de la máquina en un punto particular. Para ser válida, ciertas condiciones deben cumplirse: (es)
- Na ciência da computação, um histórico de computação é um conjunto de passos tomados por um Autômato enquanto computa seu resultado. Históricos de computação são frequentemente usados em provas sobre as capacidades de determinadas máquinas, e particularmente sobre a indecidibilidade de várias linguagens formais. Formalmente, um histórico de computação é uma sequência (normalmente finita) de configurações de um autômato formal. Cada configuração descreve completamente o estado da máquina em um ponto específico. Para ser considerado válido, certas condições devem ser preenchidas: (pt)
|
| rdfs:label
|
- Historia de cómputo (es)
- Computation history (en)
- Histórico de computação (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
