{"id":"W2395596657","doi":"","title":"Operational State Complexity of Nested Word Automata.","year":2008,"lang":"en","type":"article","venue":"DCFS","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Concatenation (mathematics); Nested word; Quantum finite automata; Finite-state machine; Mathematics; Discrete mathematics; Constant (computer programming); Upper and lower bounds; Automaton; Word (group theory); Deterministic finite automaton; Automata theory; Combinatorics; Computer science; Theoretical 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.0001394079,0.00007428086,0.0001217004,0.00004837392,0.00009840808,0.00002573127,0.0004791999,0.00002030176,0.00005393152],"category_scores_gemma":[0.00001551752,0.0000658986,0.00003706438,0.0002142518,0.0001442433,0.0002944828,0.0001394355,0.00005213771,0.00007080836],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001222176,"about_ca_system_score_gemma":0.00006515109,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004810817,"about_ca_topic_score_gemma":0.000004640305,"domain_scores_codex":[0.9992597,0.00004564134,0.0001780896,0.0001709286,0.000206431,0.0001391946],"domain_scores_gemma":[0.9994321,0.00004965576,0.00005779848,0.0003552389,0.00005747638,0.00004774281],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002953163,0.0004058037,0.004610642,0.00004719352,0.00006245312,0.0001490737,0.005488909,0.000965712,0.009362623,0.8801394,0.01328927,0.08544943],"study_design_scores_gemma":[0.001468722,0.0001570262,0.3674957,0.00004980118,0.000005327863,0.0002794924,0.00004179589,0.5250733,0.01795651,0.06800146,0.01892385,0.0005470523],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8720783,0.00006316872,0.1244575,0.0008532256,0.0002334195,0.00009571611,0.00001731291,0.0002752666,0.001926113],"genre_scores_gemma":[0.970152,0.000008783701,0.02911369,0.0003132338,0.00003505387,0.000003816809,0.00001050325,0.000004689077,0.0003582383],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8121379,"threshold_uncertainty_score":0.2687267,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04680536913484907,"score_gpt":0.2496788406865612,"score_spread":0.2028734715517122,"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."}}