Besonderhede van voorbeeld: -523193486097879920

German

Für die Untersuchungen im Rahmen des zweiten Schwerpunkts werden zusätzlich einige Nachweise bezüglich der (Nicht-)Erkennung von valid-computations Sprachen, sowie einiger nicht-semi-entscheidbarer Eigenschaften geführt.

English

To obtain results of the second category, several additional proofs concerning (non-)acceptance of valid-computations languages and non-semi-decidable properties are given.