Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Hi. I have a question about tursi. #1

Open
Uiyeon opened this issue Oct 18, 2020 · 3 comments
Open

Hi. I have a question about tursi. #1

Uiyeon opened this issue Oct 18, 2020 · 3 comments

Comments

@Uiyeon
Copy link

Uiyeon commented Oct 18, 2020

Good afternoon.
Thanks to you I can simulate the tm files.
However, when I open a file, then the Tursi said "Expected rule to 5 fields, but found 1".
Could you please tell me the reason or solution?
And I have attached my code too.
Thanks.

code:

#! fill b
#! write 1111,11,11111,1
#! start q0
#! end qend

q0 1 0 R q1
q1 1 1 R q1
q1 , , R q2
q2 0 0 R q2
q2 1 0 L q3
q3 0 0 L q3
q3 , , L q4
q4 1 1 L q4
q4 0 0 R q0
q0 , , R q5
q5 0 0 R q5
q5 1 1 R q6
q5 , , L q7
q5 b b L q6
q2 , , L q8
q2 b b L q8
# ----------------
q8 0 1 L q8
q8 , 1 L q9
q9 1 1 L q9
q9 0 0 R q10
q10 1 , L q11
q11 0 1 L q11
q11 b b R q0
q11 , , L q12
q12 1 1 L q12
q12 b b R q0
# ----------------
q7 0 1 L q7
q7 , , L q13
q13 0 1 L q13
q12 b b R q14
q13 1 1 R q14
q14 , , R q0
q13 , , L q15
q15 1 1 L q15
q15 , , R q0
q15 b b R q0
# ----------------
q6 1 1 L q6
q6 0 1 L q6
q6 , , L q16
q16 0 1 L q16
q16 , , R q17
q16 b b R q17
q17 1 1 R q17
q17, , R q18
q18 1 1 R q18
q18 , , L q19
q19 1 1 L q19
q19 , , R q0
q18 b b L qend
@schaetzc
Copy link
Owner

Hello Uiyeon,
thanks for getting in touch. I took the liberty to edit your comment such that the code is formatted properly. Please check if I did that correctly. To resolve the problem it is very important that we use the same input file.

I executed above tm file in Tursi v1.2 and got a different error than you. For me, the error was:

Couldn't parse file due to 1 error and 0 warnings.
error   (line   37): Rule for state 'q12' and symbol 'b' was already defined.

This error message seems justified as the rules q12 b b R q0 (Line 32) and q12 b b R q14 (Line 37) imply a non-deterministic Turing machine. Tursi only simulates deterministic Turing machines and therefore only accepts one rule for the state q12 and input b.

Do you have any ideas how I could reproduce your error message?

@Uiyeon
Copy link
Author

Uiyeon commented Oct 18, 2020

I appreciate your reply:) I am happy to get your reply.
Thanks to you I found another error(Line 37) and I revised. That was my mistake. I used a symbol which is already defined. In this case your error message is perfect.
However, unfortunately I encountered same error in Tursi v1.2. The error was
Line 1
Error: Expected rule to have 5 fields, but found 1.

I want to solve this problem too...Could you help me?
Yours sincerely

code:
#! fill b
#! write 1111,11,11111,1
#! start q0
#! end qend

#Comparing size and sort
q0 1 0 R q1
q1 1 1 R q1
q1 , , R q2
q2 0 0 R q2
q2 1 0 L q3
q3 0 0 L q3
q3 , , L q4
q4 1 1 L q4
q4 0 0 R q0
q0 , , R q5
q5 0 0 R q5
q5 1 1 R q6
q5 , , L q7
q5 b b L q6
q2 , , L q8
q2 b b L q8
# ----------------
#if a > b : swap a and b
q8 0 1 L q8
q8 , 1 L q9
q9 1 1 L q9
q9 0 0 R q10
q10 1 , L q11
q11 0 1 L q11
q11 b b R q0
q11 , , L q12
q12 1 1 L q12
q12 b b R q0
# ----------------
#a = b
q7 0 1 L q7
q7 , , L q13
q13 0 1 L q13
q13 b b R q14
q13 1 1 R q14
q14 , , R q0
q13 , , L q15
q15 1 1 L q15
q15 , , R q0
q15 b b R q0
# ----------------
# a < b
q6 1 1 L q6
q6 0 1 L q6
q6 , , L q16
q16 0 1 L q16
q16 , , R q17
q16 b b R q17
q17 1 1 R q17
q17, , R q18
q18 1 1 R q18
q18 , , L q19
q19 1 1 L q19
q19 , , R q0
q18 b b L qend

@schaetzc
Copy link
Owner

schaetzc commented Oct 19, 2020

That's strange. With your updated file I only get error (line 56): Expected rule to have 5 fields, but found 4. which is also understandable because in q17, , R q18 there should be a space between q17 and ,.

I can only reproduce your error from line 1 if I include code: into the tm file. If that wasn't the problem, may I ask you to post your actual input file as a file instead of including its content as text? Maybe there are problems with the encoding that get lost when posting the file content as a text comment here.
To attach the file, rename it to something.tm.txt and then drag and drop it into your next comment. Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants