exo tl

nour reine

  • Newbie
  • *
    • مشاركة: 2
    • مشاهدة الملف الشخصي
    • البريد الالكتروني
في: كانون الأول 24, 2015, 12:53:01 مسائاً
svp est_ce_ que ma derivation de ce langage est juste
                                                                                                                    {l={b*a*+a*(bc)+a*}
q0=l                      
q0//a=b*//a.a*+a*//a+a*//a.(bc)+a*+b//a.(bc)+a*+c//a.(bc)+a
=a*+a*(bc)+a*=q1=qF

q0//b=b*//b.a*+a*//b+a*//b.(bc)+a*+b//b.(bc)+a*+c//b.(bc)+a
       =b*a*+(bc)*+a*=q2=qf
q0//c=b*//c.a*+a*//c+a*//c.(bc)+a*+b//c.(bc)*+a*+c//c.(bc)+a
     =(bc)+a*=q3)
q1//a=a*//a+a*//a.(bc)+a*+b//a.(bc)+a*+c//a.(bc)+a
     =a*+a*(bc)+a*=q1=qF
q1//b=a*//b.a*+a*//b.(bc)+a*+b//b.(bc)+a*+c//b.(bc)+a
     =(bc)+a*=q3
q1//c=a*//c.a*+a*//c.(bc)++b//c.(bc)++c//c.(bc)+
=(bc)+a*=q3
q2//a=b*a*+(bc)+//a
     =b*//a.a*+a*//a+b//a.(bc)+a*+c//a.(bc)+a*
     =a*=q4=qF
q2//b=b*//b.a*+a*//b+b//b.(bc)++c//b.(bc)+
=b*a*+(bc)+a*=q2=qF
q2//c=b*//c.a*+a*//c+b//c.(bc)+a*+c//c.(bc)+a*
=(bc)+a*=q3
q3//b= b//b.(bc)+a*+c//b.(bc)+a*
     =(bc)+a*=q3
q3//c=b//c.(bc)+a*+c//c.(bc)+a*
=(bc)+a*=q3

q4//a=a*//a   a
    =a*=q4=qF
L’automate: