On the steps of Emil Post from normal systems to the correspondence decision problem /

QR kód

On the steps of Emil Post from normal systems to the correspondence decision problem /

In 1946, Emil Leon Post (Bulletin of Amer. Math. Soc. 52 (1946), 264-268) introduced his famouscorrespondence decision problem, nowadays known as the Post Correspondence Problem (PCP).Post proved the undecidability of the PCP by areduction from his normal systems. In the presentarticle we follow the...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Halava Vesa Harju Tero
Dokumentumtípus:	Cikk
Megjelent:	University of Szeged, Institute of Informatics Szeged 2020
Sorozat:	Acta cybernetica 24 No. 4
Kulcsszavak:	Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
doi:	10.14232/actacyb.284625
Online Access:	http://acta.bibl.u-szeged.hu/71765

Hasonló tételek

Programming by steps
Szerző: Scărlătescu Raluca Oana
Megjelent: (2003)

Programming by steps [abstract] /
Szerző: Scărlătescu Raluca Oana
Megjelent: (2002)

SmallSteps an adaptive distance-based clustering algorithm /
Szerző: Koch Gy, et al.
Megjelent: (2001)

Two-step simulations of reaction systems by minimal ones
Szerző: Salomaa Arto
Megjelent: (2015)

On two-step methods for stochastic differential equations
Szerző: Horváth Bokor Rózsa
Megjelent: (1997)

Analyzing Hyperonyms of Stack Overflow Posts
Szerző: Tóth László, et al.
Megjelent: (2021)

Decision problems arising from knapsack transformations
Szerző: Salomaa Arto
Megjelent: (1990)

Non-Markovian policies in sequential decision problems
Szerző: Szepesvári Csaba
Megjelent: (1998)

On decision-mappings related to process network synthesis problem
Szerző: Blázsik Zoltán, et al.
Megjelent: (1998)

The correspondence between varieties of automata and semigroups [abstract] /
Szerző: Petković Tatjana
Megjelent: (1998)

Necessary test cases for decision coverage and modified condition / decision coverage [abstract] /
Szerző: Szűgyi Zalán, et al.
Megjelent: (2008)

Testing interpoint distance in non symmetrical correspondence analysis [absztrakt] /
Szerző: Simonetti Biagio, et al.
Megjelent: (2009)

Determination of geometric features of binary images from their projections by using decision trees [abstract] /
Szerző: Gara Mihály, et al.
Megjelent: (2008)

Learning decision trees in continuous space
Szerző: Dombi József, et al.
Megjelent: (2001)

Stochastic search on decision trees [abstract] /
Szerző: Krasznahorkay Ilona
Megjelent: (2004)

Decision trees and disjoint covers [abstract] /
Szerző: Szörényi Balázs, et al.
Megjelent: (2004)

Measures for decision tree building [abstract] /
Szerző: Gergely Tamás
Megjelent: (2002)

Taxonomy for trade-off problem in distributed telemedicine systems
Szerző: Jánki Zoltán Richárd, et al.
Megjelent: (2021)

Some problems of the learning neuronlike system for the control of robots
Szerző: Gawronski Rysard, et al.
Megjelent: (1977)

Web information systems engineering problems and solutions : [abstract] /
Szerző: Adamkó Attila
Megjelent: (2004)

Learning decision trees in continuous space [abstract] /
Szerző: Zsiros Ákos
Megjelent: (2000)

On a normal form of Petri nets
Szerző: Țiplea Ferucio Laurenţiu, et al.
Megjelent: (1996)

The logic of knights, knaves, normals and mutes
Szerző: Aszalós László
Megjelent: (2000)

Parallel communicating grammar systems recent results, open problems /
Szerző: Păun Gheorghe
Megjelent: (1996)

An efficient method to reduce the size of consistent decision tables
Szerző: Demetrovics János, et al.
Megjelent: (2018)

Rewarding misclassifications in oblique decision tree learning [abstract] /
Szerző: Salamon András
Megjelent: (2002)

Normal-form transformations of context-free grammars
Szerző: Hotz Günter
Megjelent: (1978)

Normal forms and minimal keys in the relational datamodel
Szerző: Demetrovics János, et al.
Megjelent: (1994)

Deadlock problems of dynamic memory allocation on minicomputers with multilevel interrupt system
Szerző: Somogyi J.
Megjelent: (1977)

A new statistical solution for the deadlock problem in resource management systems
Szerző: Gidófalvi Zoltán
Megjelent: (1979)

Using decision trees to infer semantic functions of attribute grammars
Szerző: Zvada Szilvia, et al.
Megjelent: (2001)

Decision tree combined with neural networks for financial forecast [abstract] /
Szerző: Bozsik József
Megjelent: (2010)

Normal form relation schemes a new characterization /
Szerző: Demetrovics János, et al.
Megjelent: (1992)

Using decision trees to infer semantic functions of attribute grammars [abstract] /
Szerző: Zvada Szilvia, et al.
Megjelent: (2000)

On ground word problem of term equation systems
Szerző: Vágvölgyi Sándor
Megjelent: (2015)

Market oriented integration of MS-Windows-based tools for distributed decision support
Szerző: Biró M., et al.
Megjelent: (1993)

Approximations to the normal probability distribution function using operators of continuous-valued logic
Szerző: Dombi József, et al.
Megjelent: (2018)

From Fact Drafts to Operational Systems Semantic Search in Legal Decisions Using Fact Drafts /
Szerző: Csányi Gergely, et al.
Megjelent: (2024)

On the reformulation of some classes of PNS-problems as set covering problems
Szerző: Fülöp János, et al.
Megjelent: (1998)

Learning the weights using attribute order information for multi-criteria decision making tasks
Szerző: Dombi József, et al.
Megjelent: (2024)