Diskussion:Theoretische Informatik/Archiv

message: Ich bin relativ neu bei Wikipedia und wollte in den vergangenen Tagen einige Artikel zu den Themen "Übersetzerbau", "Attributgrammatik" und "LR(k)-Zerteiler" bearbeiten. Ich konnte aber trotz Recherche keine Informationen zu einer verbindlichen Notation für Grammatiken und Sprachen finden, was ich allerdings für nötig halte, um Verwirrung auszuschließen. Gibt es da bereits eine Seite, die ich bisher nicht gefunden habe?
Falls dem nicht so ist, möchte ich hier schon mal einige Dinge anregen, die mir aufgefallen sind:
* Meiner Meinung macht es keinen Sinn, bei der Definition von Grammatiken für Terminale den grichischen Buchstaben \Sigma zu verwenden. Dies ist zwar in vor allem älterer Literatur üblich, macht aber meiner Meinung nach insbesondere bei Wikipedia keinen Sinn. Zudem wird auch in neueren Veröffentlichungen meist ein einfaches T verwendet, also G=(T, N, P, Z).
Außerdem sollte habe ich in einigen Artikeln bei der Formulierung von Produktionen die BNF, in anderen wiederum eine Notation mit \rightarrow gefunden. Hierbei sind sicherlich beide Notationen sinvoll, es sollte sich jedoch geeinigt werden, wann welche Notation verwendet wird. Üblich ist dabei doch \rightarrow für theoretische Dinge (Definitionen, Beweise, usw.) und (E)BNF für die Beschreibung von eher praktischen Problemen (Grammatiken für Programmiersprachen, Übersetzerbau, usw.) Vielleicht wäre aber die Entscheidung für nur eine Form sinnvoll, in diesem Fall würde ich für die \rightarrow Form plädieren.
In einigen Artiklen werden zudem Funtionen wie first(..), Anfang(...) oder beginn(...) teilweise ohne Definition verwendet, oder nur für den Kontext eines Artikels definiert. Das halte ich auch für wenig sinnvoll, da die Semantik dieser Funktionen - zumindest mehrheitlich - ja eigentlich klar ist. Es sollte also meiner Meinung nach auch eine Seite zur Definition dieser, meist in Beweisen und Definitionen verwendeten, Funktionen geben.
Ich hoffe, dass ich mit diesem Beitrag irgend einen Admin erreiche, der eine solche Seite anlegt, oder mir den entsprechenden Ort mitteilt, falls es sie schon gibt ;-)
(Der vorstehende Beitrag stammt von Kaihuener – 12:17, 6. Dez. 2005 (MEZ)
thread_title:  Einheitliche Terminologie und Notation 

message: Es gibt in der European Association for Theoretical Computer Science  folgende grobe Aufteilung des Gebiets theoretische Informatik:
*Track A: Algorithms, Automata, Complexity and Games
*Track B: Logic, Semantics and Theory of Programming
Mir scheint, der Wikipedia-Artikel und die Mindmap setzen theoretische Informatik mit Track A gleich. Wenn der Artikel seinen Namen verdienen soll, müsste Track B genauso abgehandelt werden (und nicht nur am Anfang kurz und stiefmütterlich erwähnt werden). --Tillmo 06:50, 9. Okt. 2007 (CEST)
replies: text: In Büchern und Vorlesungen über Theoretische Informatik kommte es vor, dass der von Dir genannte Track B vorausgesetzt und implizit angewendet wird, ohne ihn richtig eizuführen.  Im bisherigen Artikel ist der Logik, Semantik und Programmiertheorieteil teilweise unausgesprochen eingewoben und doch nicht ersichtlich.  Auch ich schlage vor diese Themenbereiche der Theoretischen Informatik explizit darzustellen, damit der Artikel für die Leser die entsprechende Struktur und Qualität bekommt. --80.128.252.11 11:46, 21. Nov. 2007 (CET)
replies: text: Ich kenn das auch so, dass Track B ein "richtiger" gleichberechtigter Bestandteil der theoretischen Informatik ist, mit eigenen Vorlesungen usw. Leider hab ich zuwenig Ahnung von dem Kram, als dass ich da viel beitragen koennte... --Wutzofant (grunz) 00:45, 5. Dez. 2007 (CET)

text: Gut, aber die Mindmap müsste auch noch angepasst werden. --Tillmo 00:02, 19. Feb. 2008 (CET)
replies: text: Wieso? Sie erhebt ja nicht den Anspruch vollständig zu sein und könnte das auch sowieso nie erreichen. Vielleicht sollte sie jedoch ein wenig weiter unten im Artikel platziert werden. --84.57.142.199 00:05, 19. Feb. 2008 (CET)
replies: text: Für einen Leser ohne Vorkenntnisse sieht es so aus, als ob die Mindmap einen Überblick über die wichtigsten Gebiete der theoretischen Informatik gibt. Das tut sie aber nicht. Sie müsste daher erweitert oder so platziert werden, dass klar erkenntlich ist, dass sie nur einen Teilbereich abdeckt. --Tillmo 19:57, 21. Feb. 2008 (CET)
replies: text: Die Mindmap umfaßt einen Ausschnitt des Wissens des an manchen Unis im Grundstudium gelehrt wird.  Theoretische Informatik ist ein grundsätzlich endloses Thema, da (wohl jegliche) mathematische Formel mathematischen Spielregeln unterworfen ist, die die theoretische Informatik selbst wieder "REGULIERT" und auch automatisierten Semantiken zugänglich macht.  Gödels Unvollständigkeitssatz beweist die Existenz eines Horizonts, der die widerspruchsfreien Aussagen, welche die theo. Inf. zum Thema hat eben für unvollständig erklärt.  -- Es handelt sich hier aber nur um so etwas wie eine Meinung.--84.157.240.71 11:14, 6. Jun. 2008 (CEST)
replies: text:  Ich kann nur nochmal wiederholen: die ICALP, die führende europäische Theoriekonferenz, und die "Theoretical Computer Science", eine wichtige Theoriezeitschrift, beide von der European Association for Theoretical Computer Science organisiert bzw. herausgegeben, teilen die theoretische Informatik in Track A: Algorithms, Automata, Complexity and Games und Track B: Logic, Semantics and Theory of Programming auf (teils kommt noch ein Track C hinzu, der aber eher aktuelle Trends abdeckt). Die Mindmap stellt nun ausschließlich Track A dar. Diese Einseitigkeit ist nicht mit "Theoretische Informatik ist ein grundsätzlich endloses Thema" entschuldbar. Nur wenn klar gemacht wird, dass die Mindmap nur eine Hälfte abdeckt, ist sie OK. --Tillmo 20:02, 7. Jun. 2008 (CEST)
thread_title:  Überarbeiten-Baustein: Track B fehlt, Games fehlt 

message: Die eigentlichen Automaten und deren Eigenschaften im zweiten Absatz, der die Automatentheorie beschreiben soll, sind nicht augeführt und erläutert.  Weiter unten werden nur die Automaten, die zusammen die Chomsky-Hierarchie bilden, aufgezählt und mit Grammatik-Klassen in Verbindung gebraucht.  Es fehlen die Aussagen, welche die Forschungen der Automatentheorie geliefert haben, und die Verlinkung auf die dazu gehörenden Artikel.  Die Kategorie "Theoretische Informatik" ist reich an Artikeln, die vom Artikel "Theoretische Informatik" nicht direkt erreicht werden können.  Ich schlage eine Anreicherung von Aussagen und entsprechende Links im ganzen Artikel "Theoretische Informatik" vor.  --80.128.225.54 13:33, 20. Jan. 2008 (CET)
thread_title:  Automatentheorie und [[Formale Sprache]]n 

message: Die aufgeführten Teilgebiete in der Einleitung sind wohl zu unvollständig für einen enzyklopaedischen Artikel.  Kann ein Kenner der Materie die Kernforschungsgebiete vervollstängigen?  Vielleicht gibt es auch Dokumente im Web, die die Angaben überprüfbar machen.
Hier beispielsweise sind Forschungsgebiete wie Datenbanktheorie aufgeführt
--80.128.195.106 11:14, 6. Feb. 2008 (CET)
replies: text: Die Einleitung mit einer ellenlangen Aufzählung zu beginnen ist nicht gerade schön. Hier wären Schwerpunkte zu setzen. Alauda 22:58, 25. Aug. 2008 (CEST)

text: Am Anfang der Einleitung findet sich nun eine Definition, wie sie auch in der wissenschaftlichen Literatur zu finden ist. Das ist sicherlich enzyklopischer als vorher. Die Aufzählung habe ich auch lediglich vom Anfang der Einleitung ans Ende der Einleitung verschoben. Es ist keine Information verschwunden. Und es spricht auch nichts dagegen, die Liste noch weiter zu vervollständigen. Zumindest wenn dabei - im übertragenen Sinne - nicht etwas rauskommt wie: Geographie beschäftigt sich mit räumlichen Strukturen, Vorgängen an der Erdoberfläche und mit Deutschland, Kuwait und Australien. Alauda 23:21, 26. Aug. 2008 (CEST)
replies: text: Die Einleitung ist so völlig unhaltbar, siehe auch die Diskussion unten unter "Track B fehlt". Polemisch zusammengefasst sagt die aktuelle Einleitung folgendes aus: "Die theoretische Informatik befasst sich mit Track A-Themen. Track B-Themen nehmen nur einen unwichtigen Anteil ein, etwa so groß wie Kuwait in Bezug auf die Erdkugel." Die Track A-Arroganz könnte kaum größer sein! --Tillmo 10:16, 27. Aug. 2008 (CEST)
replies: text:  Die jetzige Einleitung gibt auf jedenfall ein falsches und unvollständiges Bild von der TI. Die vorige Einleitung war besser, muss ich sagen. --Revolus Echo der Stille 10:43, 27. Aug. 2008 (CEST)
thread_title:  Einleitung 

message: Die ICALP, immerhin eine der führenden europäischen Konferenzen über theoretische Informatik und die Hauptkonferenz der European Association for Theoretical Computer Science (EATCS) hat seit langem folgende Gliederung:
* Track A - Algorithms, Automata, Complexity and Games
* Track B - Logic, Semantics, and Theory of Programming
Seit kurzem gibt es auch einen Track C - Security and Cryptography Foundations. Die Zeitschrift "Theoretical Computer Science", ebenfalls von der EATCS herausgegeben, hat die gleiche Gliederung in Track A und Track B, allerdings lautet der -ebenfalls noch junge- Track C hier "Natural Computing". (Offenbar ist man sich noch nicht ganz einig, was die vielversprechendsten neuen Richtungen sind.)
Ich schlage vor, die Einleitung danach zu strukturieren, vielleicht sogar mit Verweis auf die EATCS. --Tillmo 18:09, 29. Aug. 2008 (CEST)
thread_title:  Neuer Vorschlag 

message: Diese Grafik, verwendet im Komlexitätstheorie Artikel, ist ziemich umfangreich.  Vielleicht erscheint es manchem doppelt gemoppelt, hier den Vorschlag zu lesen, die Grafik und das Wissen dazu im Text einzubinden.  Mal sehen welche Auswirkungen dieser Kristallisationspunkt auf Diskussionsseite und  Artikel hat.
(Der vorstehende Beitrag stammt von 80.128.208.29 – 14:33, 22. Apr. 2008 (MESZ)
replies: text: Das wäre eine zweite Grafik zum "Track A" (siehe oben). Zudem finde ich eine Doppelung nicht sinnvoll; lieber einen (weiteren) Verweis auf den Komlexitätstheorie-Artikel machen. Priorität sollte eine Grafik für "Track B" haben. --Tillmo 19:16, 11. Mai 2008 (CEST)
thread_title:  Grafik: Sprachen und Komplexitätsklassen 

message: Zahlen- und Wortfunktion-Unterscheidung ist in Mindmap, nicht aber im Text.
(Der vorstehende Beitrag stammt von 84.157.249.75 – 15:00, 10. Mai 2008 (MESZ)
replies: text: Mit Gödelnummern betrachtet ist das alles Jacke wie Hose.  Und doch ist diese Unterscheidung für den Hausgebrauch ziemlich praktisch und üblich.--84.157.239.151 13:00, 18. Jun. 2008 (CEST)
thread_title:  Berechenbarkeitstheorie 

message: Referenz wäre: Vorlesung Prof. Vogler Uni Dresden.
Er stellte in einer Vorlesung eine Fixpunktsemantik vor mit deren Hilfe sich aus einer kontextfreien Grammatik und einer syntaktischen Variable die semantische Kategorie der Variable ableiten läßt.  Wie weit sich diese Beschreibung einer Fixpunktsemantik - informell richtig beschrieben - verallgemeinern läßt, entzieht sich meiner Erkenntnis.  Ein Artikel Fixpunktsemantik wäre interessant.  Dresdner Studies sind hier gefragt...--84.157.252.96 20:12, 31. Mai 2008 (CEST)
thread_title:  Semantiken: Fixpunktsemantik 

message: Im Wort Logik steckt auch das griechische Logos.  Diese Feststellung möchte ich benutzen, um eine Entzerrung, Strukturierung und Auslegungserweiterung in diesem Abschnitt anzuregen.  Versteht mich nicht falsch - ich möchte vorschlagen die Natur der gefundenen Strukturen und Aussagen im Abschitt Logik informell darzustellen, soweit sie ohne formelhafte Beschreibung auskommen.  Bereits untergeordnete Überschriften wären begrüßenswert, obwohl die Erkenntnisse der Untersuchungen von Logiken nicht unbedingt eine hierarchische Struktur der Ergebnisse implizieren/indizieren müssen.  Auch ein mengenlehreartiges Diagramm oder ein Graph könnten helfen--84.157.240.71 12:04, 6. Jun. 2008 (CEST)
thread_title:  Logik 

message: Vorschlag: Die Thematik um den Begriff "Wortproblem" könnte im Artikel erläutert und in den Kontext umgebender Absätze eingearbeitet werden.--84.157.235.182 21:40, 21. Jan. 2009 (CET)
thread_title:  Weitere Thematik: Wortproblem 

message: Habe folgenden Abschnitt aus dem Text entfernt, da die Aufzählung überhaupt keinen Mehrwert bietet und eher verwirrt als zu helfen.
Sollte jemand zu den Stichpunkten mehr zu sagen haben kann der Abschnitt ja einfach wieder eingefügt werden.
--134.100.32.213 13:58, 31. Aug. 2009 (CEST)
thread_title:  Entfernter Abschnitt 

message: Gibt es einen listenhaften wp-Artikel mit den gelösten und anstehenden Problemen, die in der Theoretischen Informatik beackert wurden, werden oder werden sollen?  Wenn nicht wie wäre es mit einem; wenn der Artkiel bereits existiert sollte diesen ein wp-Autor im Text dieses Artikels verlinken.
Soweit mein Vorschlag.
MfG 79.250.172.115 11:36, 11. Jul. 2011 (CEST)
thread_title:  Zoo von gelösten oder anstehenden Problemen der Theoretischen Informatik 

message: Kann bitte jemand mit entsprechendem Fachwissen die "siehe auch"-Liste kürzen, bzw. die Begriffe in den Text einarbeiten. --Caramdir 22:35, 5. Jul. 2003 (CEST)
replies: text: Die Begriffe könnten in einem neuen Abschnitt unter der Überschrift "Geschichte der theoretischen Informatik" eingebunden werden. --zap 14:05, 13. Sep. 2004 (CEST)
replies: text: Ich hab' mal einen ersten Versuch unternommen - vielleicht finden sich noch ein paar, die das weiter treiben. --TobiasEgg 14:39, 13. Sep. 2004 (CEST)
replies: text: Ok, wenn ich in den nächsten Tagen Zeit finde mache ich da noch weiter. --zap 15:03, 13. Sep. 2004 (CEST)
thread_title:  Siehe-auch-Liste 

message: Irgendwie wurde dieses Teilgebiet der Informatik komplett unterschlagen. Das sollte dringend mal jemand einbauen, oder?
-- Gruss sparti 14:09, 12. Nov. 2005 (CET)
replies: text: Die Kryptologie könnte auch noch erwähnt werden, die ihrerseits von der Informationstheorie und von Ergebnissen der Komplexitätstheorie (u.a.) profitiert. --87.123.23.65 18:09, 3. Jan. 2006 (CET)
thread_title:  [[Informationstheorie]]