{"id":"W2138769606","doi":"10.1145/2490818","title":"Algebra-coalgebra duality in brzozowski's minimization algorithm","year":2014,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"semigroups and automata theory","field":"Computer Science","cited_by":55,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Fundação para a Ciência e a Tecnologia; Centre National de la Recherche Scientifique; Natural Sciences and Engineering Research Council of Canada; Nederlandse Organisatie voor Wetenschappelijk Onderzoek; Agence Nationale de la Recherche","keywords":"Coalgebra; Duality (order theory); Mathematics; Automaton; Correctness; Algebra over a field; Reachability; Discrete mathematics; Computer science; Algorithm; Pure mathematics; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004778799,0.0001893186,0.0002008083,0.0002774752,0.0001934985,0.000121791,0.0007906117,0.00009741655,0.00009673936],"category_scores_gemma":[0.00006828116,0.0001860146,0.00009364541,0.0006625865,0.00006076703,0.0004559747,0.00002315733,0.0002118311,0.0001683602],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007018301,"about_ca_system_score_gemma":0.00005750421,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002824345,"about_ca_topic_score_gemma":0.0000098419,"domain_scores_codex":[0.9982145,0.0002585567,0.0003685827,0.0005022957,0.0003814789,0.0002745198],"domain_scores_gemma":[0.998311,0.0008652849,0.00009353099,0.0005523815,0.00008849375,0.00008926471],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001105483,0.0004496937,0.00007439437,0.00001307713,0.00002158615,0.00000885293,0.0003383507,0.2672625,0.00002534059,0.2269261,0.0001332375,0.5047357],"study_design_scores_gemma":[0.000460012,0.00008714887,0.00799774,0.00001558791,0.000004108579,0.00001815495,0.00001561727,0.5569309,0.0001385272,0.4338293,0.0003211233,0.0001817693],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006430177,0.0000221498,0.9896711,0.00250242,0.0003650301,0.0001566418,0.0000118582,0.000284143,0.0005564507],"genre_scores_gemma":[0.6803432,0.00000499687,0.3178011,0.001690916,0.00003885641,0.00002615612,0.00002848372,0.000009806734,0.00005656051],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.673913,"threshold_uncertainty_score":0.7585456,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01645680513454797,"score_gpt":0.2515546325590415,"score_spread":0.2350978274244935,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}