Polynomial Identification of $\omega$-Automata
Formale Metadaten
| Titel |
| |
| Serientitel | ||
| Anzahl der Teile | 22 | |
| Autor | ||
| Lizenz | CC-Namensnennung 3.0 Deutschland: Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
| Identifikatoren | 10.5446/55019 (DOI) | |
| Herausgeber | ||
| Erscheinungsjahr | ||
| Sprache |
Inhaltliche Metadaten
| Fachgebiet | ||
| Genre | ||
| Schlagwörter |
00:00
Familie <Mathematik>Relation <Informatik>DatenstrukturPolynomPolynomSystemidentifikationAutomat <Automatentheorie>ProgrammierparadigmaWort <Informatik>Inverser LimesDeterministischer endlicher AutomatPhysikalisches SystemFormale GrammatikAuswahlaxiomTypentheorieMehrrechnersystemFormale SpracheSchnittmengeFamilie <Mathematik>ProgrammverifikationGerade ZahlAggregatzustandSoftwareschwachstelleGrenzwertberechnungKonditionszahlNichtunterscheidbarkeitAbfrageDeterministischer ProzessElement <Gruppentheorie>TeilmengeLeistung <Physik>Reguläre SpracheRelativitätstheorieÄquivalenzklasseKlasse <Mathematik>Übersetzer <Informatik>GrenzschichtablösungAlgorithmusCharakteristisches PolynomInteraktives FernsehenUnendlichkeitEigentliche AbbildungBitZweiCASE <Informatik>TermSignifikanztestKomplex <Algebra>Lokales MinimumSelbstrepräsentationTabelleDatenstrukturFunktion <Mathematik>InjektivitätLogischer SchlussQuick-SortRechter WinkelMultiplikationsoperatorMengensystemKongruenzuntergruppeNummernsystemEinfach zusammenhängender RaumZahlenbereichEndliche ModelltheorieTransitivitätRegulärer GraphFinitismusEinsAnalysisIsomorphieklasseEndlichkeitResultanteAssoziativgesetzTopologieKategorie <Mathematik>Wald <Graphentheorie>ÄhnlichkeitsgeometrieDifferenteModallogikOrdnung <Mathematik>Mapping <Computergraphik>GraphfärbungBereichsschätzungKreisflächeBildschirmmaskeComputeranimation
Transkript: Englisch(automatisch erzeugt)