Hi, Can you say where you've looked for an answer so far? If there's conflicting information and this sometimes does happen, as the exam format does change from year to year it's very helpful if you can state exactly what sources you're using,...

Hi, In question 3, you're asked to comment on your answer from question 2, so it makes sense to refer back to your question 2 answer. Since there's one test case per line, you can just refer to "test case 1", "test case 2", etc. And you will also want...

Hi Arran, Can we only bring one double-sided page of handwritten notes to the final exam? Are printed notes allowed? Thank you.

Hi Arran, Besides the last two questions, could we reference other question's answer assuming that the marker can see them? For example, question 3 asking "why it is that those test cases have production coverage", we can just state like test case X c...

No worries. I'll likely release it anyhow, as I'm using it for Moodle.

Actually, don't worry about the binary, after using just the augment command it's easy to use BNF playground.

Hi Arran, Thanks for clarifying. It would be great if you could provide the binary to download. Thanks

I'll see if I can clarify the spec wording a bit - the intention is that you only need to provide the "augmented" parts. Anything that was already in the original Domolect grammar, you can just refer to in your submitted grammar as if it were alrea...

Hi Callum, Good questions. In relation to whether optionality requires additional metasymbols, beyond what BNF provides just the vertical bar (" ") is already sufficient to expression optional elements of a language can you see why? In BNF b...

Hi Arran, I created a BNF grammar for Q1. Copied it into BNF playground, pressed compile and watched as my browser crashed with a CODE HUNG ERROR . I have tried to incrementally add productions until I get it to crash to find the issue and it just...

Hi Arran (or anyone else who can clarify) Regarding Q1 of the project Just wondering about the statement that the 'when-condition' and 'until-conditions' being optional, and if that requires further language to specify in BNF. I read a few forums and ...

ANONYMOUS wrote That should be "question 2", yes. It's a maximum limit - if the question can be adequately answered more briefly, that's fine. Cheers Arran

Hi Arran, just checking that for question 3 where it states "Explain the reasoning behind your choice of tests in question 3", should it be "choice of tests in question 2"? Also, for question like question 3 where it says "max 1000 words". Is a good a...

ANONYMOUS wrote Hi, No, you don't. As the project spec says, you can just assume that they are available, and for testing purposes are considered to have just one production. If using the BNF playground - which doesn't permit undefined non-terminals - ...

In Domolect 1.7, there are no definitions of number and location . So do I need to define the non-terminals number and location in task 1?

Hi all, My apologies for the later release than expected there were some delays ensuring the project spec seemed clear and internally consistent but the project spec is now available at nbsp; https cits5501.github.io assessment project I'v...

Hi Joshua - Okey doke. I will get it set up by the study break, so that any students who want to make an attempt can do so. Cheers Arran

Hi Arran, You said in the lecture if people are interested in peer review Moodle questions you will set it up. I am just letting you know that I am interested, if you are still offering it. Thanks.

ANONYMOUS wrote Hi, The material on formal methods is more important, so I didn't cover Lecture 7c in this week's lecture, and won't be covering it next week. Static analysis (which overlaps somewhat with formal methods) and "lightweight" formal method...

Hi Arran, it might be too early to ask, but are we still going to cover Lecture 7c, quality assurance? Thank you.