উইকিপিডিয়া অনুসারে , যে কোনও নিয়মিত ভাষার জন্য L নিয়মিত
s এল ( এন ) = পি 1 ( এন ) λ n 1 + ⋯ + পি কে ( এন ) λ n কে
ভাষা এল = { 0 2 এন | এন ∈ এন }
তবে আমি λ i
উইকিপিডিয়া অনুসারে , যে কোনও নিয়মিত ভাষার জন্য L নিয়মিত
s এল ( এন ) = পি 1 ( এন ) λ n 1 + ⋯ + পি কে ( এন ) λ n কে
ভাষা এল = { 0 2 এন | এন ∈ এন }
তবে আমি λ i
উত্তর:
For your language, can you take p0(x)=1/2
1/2+1/2(−1)n=1/2(1+(−1)n)
which seems to be 1 for even n
@Patrick87 gives a great answer for your specific case, I thought I would give a tip of how to find sL(n)
Let D
Now we can prove a restricted case of the theorem in the question (restricted to irreducible DFAs; as an exercise generalize this proof to the whole theorem). Since D
sL(n)=⟨A|Dn|1⟩=⟨A|Dn(c1|λ1⟩...cm|λm⟩)=c1λn1⟨A|λ1⟩+...+cmλnm⟨A|λm⟩=⟨A|λ1⟩⟨λ1|1⟩λn1+...+⟨A|λm⟩⟨λm|1⟩λnm=p1λn1+...+pmλmm
Now we know that for an irreducible m-state DFA, p1...pm
If you want to prove this theorem for arbitrary DFA, then you will need to look at the Schur decomposition of D
For your language L
D=(0110)
and accept vector:
A=(10)
Find the eigenvectors and their eigenvalues λ1=1
sL(n)=12+12(−1)n
Continuing Artem's answer, here is a proof of the general representation. As Artem shows, there is an integer matrix A
Jordan's theorem states that over the complex numbers, A
Summarizing, every entry in An