• Flex-week recap lecture (Wednesday)

    Posted by Paul Hunter Tuesday 21 March 2023, 06:14:52 AM.

    Hi all,

    There was sufficient interest in a flex-week recap lecture, so I will be running one on Wednesday 2-4pm Colombo Th B . As I said in the poll, this will consist of a brief recap of the main definitions and theorems with a substantial Q&A session.

    I have requested that the lecture be recorded, though I am yet to have confirmation of that. If you are able to make it, then I strongly encourage you to attend rather than rely on the recording.

    If you have any questions you would like to be specifically addressed in the session, please post them to the ed forum (as part of the poll thread) and I will try to answer those questions as a priority.


  • Formatif delay and Automata tutor issues

    Posted by Paul Hunter Monday 27 February 2023, 11:53:15 AM.

    Hi all,

    Apologies for the slow replying to various queries on my part. I will get around to answering the ed posts shortly.

    I am still working on putting up the Formatif tasks - so don't panic if you can't see them yet. I hope to have some more up before tomorrow's lecture, with all the tasks available by the end of the week. Deadlines will be adjusted accordingly.

    The main issue that has been causing delays is that there appears to be an issue with the Automata tutor that I've been trying to sort out at my end - unfortunately it seems that the automarking aspect of that tool is (currently) unusable - with no clear timeline of when it will be fixed. I'm seeing if I can set up something locally that will perform the same task, and that is currently taking up too much of my spare time.

    Thank you for your patience while I sort through some of these teething issues.


  • Online tutorial link

    Posted by Paul Hunter Wednesday 22 February 2023, 04:02:44 PM.

    Wednesday's tutorial link is:

    Sorry for the late notice.


Upcoming Due Dates

There is nothing due!

Back to top

COMP4141 23T1 (Theory of Computation) is powered by WebCMS3
CRICOS Provider No. 00098G