/sci/ - Science & Math

>>	Anonymous Fri Sep 4 20:53:16 2015 No.7510188 [View] File: 55 KB, 319x475, o_dragon_book_1st.jpg [View same] [iqdb] [saucenao] [google] How about the so called Dragon book? Worth reading for CompSci student teaching themselves?

>>	Anonymous Sun Aug 16 08:51:45 2015 No.7469803 [View] File: 55 KB, 319x475, 1-9780201100884.jpg [View same] [iqdb] [saucenao] [google] what are some good books to study? is pic related still relevant today?

Anonymous Sat Aug 31 15:09:54 2013 No.6001552 [View]
File: 55 KB, 319x475, compilers.jpg [View same] [iqdb] [saucenao] [google]

I'm working on an exercise from the Red Dragon Book (book on compiler design), and it seems that I need to write an inductive proof for it.

I wrote some sloppy reasoning here (http://pastebin.com/Mz3WXiRA)), but I'm not sure if it's correct. I've never really practiced proofs before. Am I making any mistakes in my reasoning?

Advanced search
Text to find
Subject [?]Search by post subject. Leave empty for any.
Username [?]Search for user name. Leave empty for any user name.
Tripcode [?]Search for tripcode. Leave empty for any.
Email [?]Search by email. Leave empty for any.
Filename [?]Search by image filename. Leave empty for any.
From Date [?]Enter what date to start searching from. Format is YYYY-MM-DD
To Date [?]Enter what date to start searching until. Format is YYYY-MM-DD
Image hash
Search in	All Posts OPs Only
Deleted posts	Show all posts Show only deleted posts Only show non-deleted posts
Internal posts	Show all posts Show only internal posts Show only archived posts
Order	New posts first Old posts first
Capcode	All Posts Only by Users Only by Mods Only by Admins Only by Developers
Results	Posts Threads
Action	[ Simple ]

Navigation
View posts	[+24]	[+48]	[+96]

/sci/ - Science & Math

Search: