{"id":"W2098375093","doi":"10.1007/978-3-642-27654-5_30","title":"State Complexity of Kleene-Star Operations on Trees","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Concatenation (mathematics); Star (game theory); Iterated function; String (physics); Computer science; State (computer science); Tree (set theory); Algorithm; Regular language; Discrete mathematics; Extension (predicate logic); Combinatorics; Mathematics; Theoretical computer science; Automaton","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008577609,0.0004551677,0.000552849,0.0006374713,0.0002313982,0.0002537595,0.003045196,0.0001714082,0.00005449467],"category_scores_gemma":[0.00004669389,0.0003878032,0.000140539,0.0004366417,0.001262144,0.000616916,0.001009323,0.0005373576,0.00005901516],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001575813,"about_ca_system_score_gemma":0.0002971461,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005946179,"about_ca_topic_score_gemma":0.000158998,"domain_scores_codex":[0.9969483,0.00005387827,0.0005494703,0.0009847556,0.0008723749,0.0005912483],"domain_scores_gemma":[0.9974734,0.0003739792,0.0002169171,0.001575921,0.0001855305,0.0001742974],"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.000009077325,0.0001074955,0.00003457949,0.00003594091,0.00001978756,0.0000236016,0.001531331,0.05046967,0.001156725,0.37347,0.00002435733,0.5731174],"study_design_scores_gemma":[0.0003136721,0.0003329407,0.001041205,0.000427755,0.000009997239,0.00003086652,3.025468e-7,0.5768172,0.01144351,0.407793,0.0009914135,0.0007981334],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001682578,0.0004393586,0.9942375,0.0005274342,0.001056794,0.0002876994,0.00003142938,0.0001399249,0.001597321],"genre_scores_gemma":[0.6531889,0.0000663399,0.3447402,0.001340595,0.0003169319,0.000007097797,0.00001178063,0.00003514266,0.0002930056],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6515063,"threshold_uncertainty_score":0.9998574,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03429629418638434,"score_gpt":0.2573671269776353,"score_spread":0.2230708327912509,"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."}}