CS Unplugged: Field guide: Formal Languages
An online resource for teaching Computer Science to students, this chapter focusses on Formal Languages. This chapter covers the strict rules specified in formal languages and describes examples of its use. Find out about regular expressions including an example, Finite state automata.
Additional details
| Year band(s) | 9-10 |
|---|---|
| Format | Web page |
| Core and overarching concepts | Implementation (programming), Digital systems, Data representation, Algorithms |
| Australian Curriculum Digital Technologies code(s) |
AC9TDI10P03
Model and query entities and their relationships using structured data
AC9TDI10P05
Design algorithms involving logical operators and represent them as flowcharts and pseudocode
AC9TDI10P06
Validate algorithms and programs by comparing their output against a range of test cases
AC9TDI10P09
Implement, modify and debug modular programs, applying selected algorithms and data structures, including in an object-oriented programming language |
| Technologies & Programming Languages | other programming languages |
| Keywords | Formal Languages, Regular expressions, Finite state automata, Grammars, Parsing, Chomsky Hierarchy |
| Organisation | University of Canterbury, New Zealand |
| Copyright | University of Canterbury, New Zealand. Creative Commons BY-NC-SA 4.0. |
Related resources
-
Tinker challenge: if/else: simple conditional response
This video is part of the lesson idea Coding a sentimental chatbot in Python that is located on the Digital Technologies Hub.
-
Tinker challenge: respond to the user's sentiment
This video is part of the lesson idea Coding a sentimental chatbot in Python that is located on the Digital Technologies Hub.
-
A spreadsheet's secret weapon
In this lesson sequence, students learn to use pivot tables which have been described as the most powerful tool within spreadsheets.
-
Emulating nature's perfect pursuit
A case study briefly describing an AI project where scientists have adapted dragonflies’ neuronal processes into a unique algorithm that emulates the insect’s phenomenal visual tracking capability.
-
Topics: General purpose programming/coding
This is a curated topic for Coding and general purpose and programming.
-
BBC micro:bit MicroPython documentation
The BBC micro:bit is a small computing device. One of the languages it understands is the popular Python programming language. The version of Python that runs on the BBC micro:bit is called MicroPython. This documentation includes lessons for teachers and API documentation for developers.
-
GenAI readiness and implementation modules
As generative AI (GenAI) becomes an increasingly important tool in education, it's essential for teachers to understand both its potential and its limitations. This two-module offering equips teachers with the knowledge and practical skills to use GenAI tools like Copilot effectively in the classroom. Teachers will enhance their own digital literacy while learning how to guide students in using AI responsibly and thoughtfully. By focusing on teacher readiness and practical classroom strategies, the modules support the development of students who can navigate AI in both classroom and everyday contexts. The modules were developed in collaboration with Microsoft.
-
AI readiness: Preparing teachers for safe and effective use of GenAI
The module aims to increase teacher readiness when using generative AI (GenAI). It builds teachers' own digital literacy around GenAI and equips them to develop their students’ digital literacy capabilities. It is aimed at Australian F–12 teachers interested in learning about and exploring the use of generative AI for streamlining admin tasks and personalising learning, safely and responsibly. The module was developed in collaboration with Microsoft.