در علوم نظری رایانه به خصوص در زبان فُرمال، الگوریتم کلین یک ماشین تعیین پذیر حالات متناهی را به یک عبارت باقاعده تبدیل می کند.مجموعه حالات { Q = { q0, q1, q2,الفبای ورودی { Σ = { a, b,تابع انتقال δ که δ(q0,a)=q0, δ(q0,b)=q1, δ(q1,a)=q2, δ(q1,b)=q1, δ(q2,a)=q1, δ(q2,b)=q1,حالت شروع q0,مجموعه حالات پذیرش { F = { q1.بنابه گفته های Gross و Yellen, این الگوریتم را می توان به کلینی نسبت داد.شرح این الگ...