Software modelling. No code

(a) Suggest a BNF grammar for binary numbers. Provide the grammar as an RSL type declaration as in the following: type your grammar here (b) Suggest a function S (definition and signature both) that defines the semantics of these binary numbers by converting them to natural numbers. Provide the function S as an RSL value definition as in the following: value Signature of your function S here Definition of your function S here (C) Suggest a function L (definition and signature both) that returns the length of a binary number. The length of a binary number is equal to the number of its digits. Provide the function L as an RSL value definition. Submission instructions 1. Provide your answer in the provided textbox. 2. Mark your answers with (a)-C) 3. Do not include figures or images in the textbox as Moodle does not record figures as answers. (a) Suggest a BNF grammar for binary numbers. Provide the grammar as an RSL type declaration as in the following: type your grammar here (b) Suggest a function S (definition and signature both) that defines the semantics of these binary numbers by converting them to natural numbers. Provide the function S as an RSL value definition as in the following: value Signature of your function S here Definition of your function S here (C) Suggest a function L (definition and signature both) that returns the length of a binary number. The length of a binary number is equal to the number of its digits. Provide the function L as an RSL value definition. Submission instructions 1. Provide your answer in the provided textbox. 2. Mark your answers with (a)-C) 3. Do not include figures or images in the textbox as Moodle does not record figures as answers