{"id":"W2168854371","doi":"10.1142/s0129054107005443","title":"STATE COMPLEXITY OF ADDITIVE WEIGHTED FINITE AUTOMATA","year":2007,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Deterministic finite automaton; Nondeterministic finite automaton; Finite-state machine; Quantum finite automata; Automaton; Mathematics; Regular language; DFA minimization; ω-automaton; Simple (philosophy); Upper and lower bounds; State (computer science); Discrete mathematics; Finite state; Automata theory; Combinatorics; Theoretical computer science; Computer science; Algorithm","routes":{"ca_aff":true,"ca_fund":false,"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.002231318,0.0001129048,0.0002328975,0.0009179149,0.00009697848,0.0001703672,0.003677536,0.0000238312,0.00002991386],"category_scores_gemma":[0.0001591525,0.00009919692,0.0001267945,0.0008814214,0.001006946,0.002012169,0.0005275743,0.00013609,0.00000728101],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009942073,"about_ca_system_score_gemma":0.0004645002,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001862328,"about_ca_topic_score_gemma":0.000005327931,"domain_scores_codex":[0.9972603,0.00004667627,0.0009132524,0.0002073123,0.001362482,0.0002100259],"domain_scores_gemma":[0.9950829,0.0005367912,0.001168396,0.0003674868,0.002729306,0.0001151356],"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.00008253764,0.0006560145,0.001026132,0.0000126415,0.0001860428,0.00007277405,0.002273457,0.001811841,0.008986956,0.4464275,0.0004418137,0.5380223],"study_design_scores_gemma":[0.001835769,0.0007051087,0.1227036,0.0003857941,0.00001871605,0.0004686891,0.00006560821,0.5846027,0.09874997,0.1873728,0.002713683,0.0003774962],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1353526,0.00001905163,0.8617227,0.0006296475,0.001685747,0.00005041515,0.00002020293,0.00002214626,0.0004975608],"genre_scores_gemma":[0.7264398,0.00001253724,0.273335,0.00009925322,0.00009816668,2.656264e-7,0.000002349521,0.000002935139,0.000009687908],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5910873,"threshold_uncertainty_score":0.6833839,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02620600082371652,"score_gpt":0.3086807984164208,"score_spread":0.2824747975927043,"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."}}