{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008469889,0.0004448334,0.0006271465,0.0006329924,0.0006316231,0.001200068,0.002087863,0.0007569004,0.006072032],"category_scores_gemma":[0.002104144,0.0004236725,0.0008213941,0.0006580192,0.001027244,0.00249036,0.00173137,0.001340618,0.001378752],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00113688,"about_ca_system_score_gemma":0.001425635,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002326424,"about_ca_topic_score_gemma":0.004450927,"domain_scores_codex":[0.9993342,0.0001159349,0.00006109598,0.0001970101,0.0002048864,0.00008687739],"domain_scores_gemma":[0.9997185,0.0001169391,0.00001594652,0.00006222696,0.00006878142,0.00001764069],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001453651,0.00009975469,0.0005219424,0.0001734648,0.0000402713,0.00007342505,0.0002893094,0.04189232,0.01099937,0.8141315,0.003689154,0.1279441],"study_design_scores_gemma":[0.00006286461,0.00006559878,0.0002545308,0.00003379571,0.00004234536,0.00009470932,0.00008795618,0.2725425,0.01684557,0.695824,0.0141107,0.00003553551],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01088107,0.00007986724,0.9825283,0.0002303415,0.00004433951,0.00005023463,0.00007707585,0.0005689,0.005539757],"genre_scores_gemma":[0.1954401,0.0001745645,0.7928756,0.0002155423,0.00003386521,0.0002579045,0.0002873442,0.0004868805,0.01022809],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006072032,"threshold_uncertainty_score":0.02031302,"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."}}